theorem :: XCMPLX_1:197

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