Ответ на утренний вопрос про музыкальную паузу

Я спросил, какие теоремы и какой метод доказательства теорем вызывает в памяти песня, звучащая среди прочих вместо звонка на физфаке БГУ.

Вопрос оказался несложным. Все узнали песню Джо Дассена Et si tu n'existais pas, название которой, если переводить буквально, означает по-русски Если бы ты не существовала.
И дальше: Если бы ты не существовала, скажи, для чего существовал бы я?

Короче, теоремы существования и метод доказательства от противного!
Всем ответившим спасибо!