theorem Th108: :: NUMBER14:108

for m being Integer
for x, y, z being non zero Integer st ((x / y) + (y / z)) + (z / x) = m & x,y,z are_mutually_coprime holds
( ( x = 1 or x = - 1 ) & ( y = 1 or y = - 1 ) & ( z = 1 or z = - 1 ) )