モジュラー算術では

　　ａ＝ｂ　（ｍｏｄｍ），ｃは整数

→ａ＋ｃ＝ｂ＋ｃ　（ｍｏｄｍ），ａｃ＝ｂｃ　（ｍｏｄｍ）

　　ａ＝ｂ　（ｍｏｄｍ），ｃ＝ｄ　（ｍｏｄｍ）

→ａ＋ｃ＝ｂ＋ｄ　（ｍｏｄｍ），ａｃ＝ｂｄ　（ｍｏｄｍ）

　　ａ＝ｂ　（ｍｏｄｍ）

→ａ^2＝ｂ^2，ａ^3＝ｂ^3，・・・，ａ^n＝ｂ^n　（ｍｏｄｍ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

13=4 (mod9)

16=-2 (mod9)

2つの合同式を足すと

29=2 (mod9)

2つの合同式をかけると

208=-8 (mod9)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝