theorem Th59: :: NUMBER07:59

for p, q being Prime
for a, b being Nat st a <> 1 & b <> 1 & p * q = a * b & not ( p = a & q = b ) holds
( p = b & q = a )