[Ведущему: раздаточный материал не зачитывается.] Автор вопроса не любит французских математиков. Ответьте двумя словами, что же именно он не смог доказать.