theorem Th30: :: NUMBER07:30

for m, n being Nat holds
( not m * n = 50 or ( m = 1 & n = 50 ) or ( m = 2 & n = 25 ) or ( m = 5 & n = 10 ) or ( m = 10 & n = 5 ) or ( m = 25 & n = 2 ) or ( m = 50 & n = 1 ) )