theorem Th37: :: NUMBER07:37

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