theorem Th32: :: NUMBER07:32

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