Demostración por Reducción al absurdo