theorem Th107: :: NUMBER14:107

for m being Complex
for x, y, z being non zero Complex holds
( ((x / y) + (y / z)) + (z / x) = m iff (((x ^2) * z) + ((y ^2) * x)) + ((z ^2) * y) = ((m * x) * y) * z )