theorem :: NUMBER09:55

for x, y, z, t being positive Nat holds (((x / y) + (y / z)) + (z / t)) + (t / x) <> 1