theorem :: NUMBER19:11

for p being Prime holds primeindex p < p