theorem Th38: :: NUMBER07:38

for m, n being Nat holds
( not m * n = 485 or ( m = 1 & n = 485 ) or ( m = 5 & n = 97 ) or ( m = 97 & n = 5 ) or ( m = 485 & n = 1 ) )