theorem
|. 1/z1 .| = 1 / |.z1.| by Th48,Th67;
