reserve z,z1,z2,z3,z4 for Element of F_Complex;

theorem
  |.1.F_Complex.| = 1 by Def1,COMPLEX1:48;
