Мне тут мои ученики, очевидно, захотели показать, что и они знают русский язык. В конце доказательства одной задачи было написано по-русски – "конец демонстрации".