En una "reducción al absurdo" se comenzaría por asumir lo contrario y nuestra tesis sería: existe un número racional mínimo mayor que cero: "r".