theorem :: COMPLEX1:49

|.<i>.| = 1 by Th7;