theorem :: XCMPLX_1:198

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