La demostración se basa en el método de reducción al absurdo.