theorem :: MOEBIUS2:39

for p being Prime holds card (FreeGen p) <= 2 |^ p