同余的应用 | 自在学