theorem Th10: :: NUMBER10:10

for m, n being Nat st m < n holds
<=6n+1 m c< <=6n+1 n