Pri tomto príklade použiješ dôkaz sporom. Ten spočíva v tom, že dokážeš neplatnosť negovaného výroku, Ktorý je zadaný. Najprv si vetu prepíšeš do jazyka matematikov zapísanú pomocou implikácie. Tú následne neguješ a pomocou priameho dôkazu dokážeš neplatnosť výroku.