Музыкальная пауза

     На физфаке БГУ вместо обычных звонков начало и конец академического часа обозначают мелодии, короткие музыкальные отрывки. Подбирал их, похоже, какой-то поклонник ретро: Yesterday, Подмосковные вечера, До свиданья, наш ласковый Миша и всё такое.
     И среди прочих – эта. В другой тональности, конечно, но аутентичный midi-файл найти не удалось.
     Доказывал я однажды на лекции некую теорему – и не успел завершить доказательство до звонка, прервала та самая мелодия. Было сильное искушение сказать, что название песни, если его перевести не художественно, а буквально, очень подходит по смыслу к обсуждаемой проблеме. Студентам говорить это я всё-таки не стал – перерыв – но читателям вопрос задам.
     Как в математике называют теоремы, смысл которых (с некоторой натяжкой, конечно) можно передать названием этой песни?
 
     Upd Комментаторы подсказывают, что название имеет отношение не только к сущности теоремы, но и к методу её доказательства. И они правы!

Скрин до вечера.

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

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

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

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