theorem Th20: :: NUMBER10:20

for m, n being Nat st primenumber m = primenumber n holds
m = n