theorem Th33: :: NUMBER07:33

for m, n being Nat holds
( not m * n = 122 or ( m = 1 & n = 122 ) or ( m = 2 & n = 61 ) or ( m = 61 & n = 2 ) or ( m = 122 & n = 1 ) )