theorem Th35: :: NUMBER07:35

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