theorem :: NUMBER10:21

for p, q being Prime st primeindex p = primeindex q holds
p = q