陪集

从整数同余理解左右陪集，证明陪集划分与 Lagrange 定理，并用例子区分必要条件和存在性。