用户: Ruiqi chen/简明无限 Galois 对应