theorem Th106: :: XCMPLX_1:106

for a being Complex st a <> 0 holds
a * (1 / a) = 1