Пример конструктивного доказательства с использованием рассуждения от противного.