由于非空集合，所以类似于域上面去掉一个元素，所以k=0的时候要去掉一个空
环同构定理，什么的都可以，只要是等价类划分和偏移(k)=k+(0).那么|(k)|=|(0)|=|S|/[S:(0)]=2^(2^n-n)
费马小定理降幂
由于非空集合，所以类似于域上面去掉一个元素，所以k=0的时候要去掉一个空
环同构定理，什么的都可以，只要是等价类划分和偏移(k)=k+(0).那么|(k)|=|(0)|=|S|/[S:(0)]=2^(2^n-n)
费马小定理降幂