for x being G_INTEG holds
( Norm x = 1 iff ( x = 1 or x = - 1 or x = <i> or x = - <i> ) )