for p being Prime holds 1 in FreeGen p