Considerando entonces sobre formula_1 las normas anteriormente definidas (donde formula_13 es cualquier representante de la clase de equivalencia), se prueba que formula_14 resulta ser norma y que su valor no depende del representante de la clase de equivalencia escogido.