同余是一种认知折叠术——将无穷化为有限

同余的本质不是"一种新的等号"，而是一种**信息压缩操作**。当你选择模 m，你主动丢弃了"除以 m 的商"的信息，只保留"余数"。这种信息压缩在多数情况下会丢失太多而无用，但在处理整除性相关问题时，它是恰好合适的——因为整除性本身就是一种"与余数相关"的性质。这启发我们：面对复杂系统，先问"我想回答什么问题"，再决定"丢弃哪些信息"，而非反过来。