theorem Th04: :: BKMODEL3:4

for a, b, c being Complex st a <> 0 holds
(((a ^2) * b) * c) / (a ^2) = b * c