BZOJ3884: 上帝与集合的正确用法 拓展欧拉定理