theorem :: XCMPLX_1:215

for a being Complex holds 1 / a = a " by Lm4;