reserve x, y, z, r, s, t for Real;

theorem
  |.1/x.| = 1/|.x.| by COMPLEX1:80;
