theorem :: XCMPLX_1:199

for a being Complex st a <> 0 & a = 1 / a & not a = 1 holds
a = - 1