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