Se sigue de la definición que formula_4, pues el elemento (1) sólo puede ser coprimo consigo mismo.