theorem :: NUMBER14:109

for m being Integer
for x, y, z being positive Integer st ((x / y) + (y / z)) + (z / x) = m & x,y,z are_mutually_coprime holds
( x = 1 & y = 1 & z = 1 ) by Th108;