theorem :: NUMBER10:11

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