formula_7 se cumple que formula_55 entonces formula_56 es el "neutro aditivo" de los racionales y se le denota por formula_57