for p being Prime holds card (FreeGen p) c= card (BoolePrime p)