Template:Euclidean norm property

This article defines a property that can be evaluated for a Euclidean norm on a commutative unital ring