数学の証明という理論がわからないです

>>32
Z/pZには加法と乗法が

[a] + [b] = [a + b]
[a] [b] = [ab]

で定まり、>>4-15を満たす。