donde formula_1 y formula_2 son conmensurables (enteros) y no tienen factores en común (primos relativos).