Category:Supremum Norm is Norm