theorem Th181: :: XCMPLX_1:181

for a, b being Complex st b <> 0 & a * b = - b holds
a = - 1