La demostración es por reducción al absurdo: