剰余類たちが3元からなる群をなすことを確認できる（赤の元と青の元の積は青、青の元の逆元は緑、など）。
你可以验证这些陪集形成了三个元素的群（红色元素和蓝色元素的乘积是蓝色元素，蓝色元素的逆元是绿色元素等等）。