theorem Th1: :: JORDAN19:1

for n, m being Nat st n <= m & n <> 0 holds
(n + 1) / n >= (m + 1) / m