theorem Th47: :: GAUSSINT:47

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