theorem Th59: :: XCMPLX_1:59

for a, b being Complex st 1 / a = 1 / b holds
a = b