theorem :: NUMBER14:110

{ [x,y,z] where x, y, z is positive Integer : ( ((x / y) + (y / z)) + (z / x) = 3 & x,y,z are_mutually_coprime ) } = {[1,1,1]}