theorem :: NUMBER10:26

primeindex 11 = 4 by Def4, MOEBIUS2:17;