formula_7 se cumple que formula_59 entonces formula_60 es el "neutro multiplicativo" de los racionales y se le denota por formula_61