>>480
1a 同値関係の定義を一つ一つ確認するだけ。
1b 類別の定義を確認するだけ。

2a c(a) の代表元 a に対して、c(a)の他の元は a + 7k であることを用いて計算。
2b c(4)c(2) = 1
2c c(a)c(b) = c(a)c(b') = c(1) であると仮定して、両辺に c(b)をかけると　c(b) = c(b')