几个1/7是最小的质数