Это банальное рассуждение по законам формальной логики. И его приводит не учитель математики среднеобразовательной школы, а один из блестящих умов в мировой истории.