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