formula_8 se cumple que formula_9 entonces formula_10 es el "neutro aditivo" de los racionales y se le denota por formula_11