theorem Th26: :: NUMBER07:26

for m, n being Nat
for p being Prime holds
( not m * n = p or ( m = 1 & n = p ) or ( m = p & n = 1 ) )