theorem
  primeindex(11) = 4 by Def4,MOEBIUS2:17;
