for x being G_RAT holds Norm (x *') = Norm x ;