Ну в общем - таки да - баттхерт - такой баттхерт.
Мне вот самому удивительно почему этот результат стандартно вызывает такую попоболь.
PS: Утверждать что теорема, которая есть в любом (кроме уж совсем ликбезовских) учебнике по логике "не существует" - это тоже в копилку к теме :)