for q being G_RAT holds Norm q = (|.(Re q).| ^2) + (|.(Im q).| ^2)