Megjegyzés

A bizonyítás során egy indirekt bizonyításnak (reductio ad absurdum) nevezett módszert alkalmaztunk. Ez az érvelés egy olyan formája, melynek során az érvelő a vita kedvéért elfogad egy állítást, megmutatja, hogy valamilyen képtelenség következik belőle, és ebből arra jut, hogy az állítás mégse volt igaz. Ilyenkor tehát nem magát az állítást igazoljuk, hanem megmutatjuk, hogy miért nem lehet hamis.

♣