This contradicts our assumption, so we are forced to conclude that formula_1 is an irrational number.
Esto contradice nuestra asunción, así que nos vemos forzados a concluir que formula_2 es un número irracional.