Multiplicatively monotone norm is constant on associate classes
Note that the proof does not in fact use the fact that the norm is Euclidean.
Given: A multiplicatively monotone Euclidean norm on a commutative unital ring . Two elements that are associate elements.
To prove: .
Proof: By definition of associate elements, there exist elements such that . By the definition of multiplicatively monotone, we get: