# Example

Suppose $a_1 \equiv b_1 \pmod{m}$ and $a_2 \equiv b_2 \pmod{m}$. Prove the following:

1. $a_1 + a_2 \equiv b_1 + b_2 \pmod{m}$
2. $a_1 - a_2 \equiv b_1 - b_2 \pmod{m}$
3. $a_1 a_2 \equiv b_1 b_2 \pmod{m}$

First note, as a beginning to each of the following arguments, $a_1 \equiv b_1 \pmod{m}$ implies $b_1 = a_1 + mk_1$ for some integer $k_1$, while $a_2 \equiv b_2 \pmod{m}$ implies $b_2 = a_2 + mk_2$ for some integer $k_2$.

Now consider the following:

1. \displaystyle{\begin{align} b_1 + b_2 &= (a_1 + mk_1) + (a_2 + mk_2)\\ &= (a_1 + a_2) + m(k_1 + k_2)\\ \end{align}}

which implies $a_1 + a_2 \equiv b_1 + b_2 \pmod{m}$

2. \displaystyle{\begin{align} b_1 - b_2 &= (a_1 + mk_1) - (a_2 + mk_2)\\ &= (a_1 - a_2) + m(k_1 - k_2)\\ \end{align}}

which implies $a_1 - a_2 \equiv b_1 - b_2 \pmod{m}$

3. \displaystyle{\begin{align} b_1 b_2 &= (a_1 + mk_1) (a_2 + mk_2)\\ &= a_1 a_2 + a_1 m k_2 + a_2 m k_1 + m^2 k_1 k_2\\ &= a_1 a_2 + m(a_1 k_2 + a_2 k_1 + mk_1 k_2) \end{align}}

which implies $a_1 a_2 \equiv b_1 b_2 \pmod{m}$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 3, "equation": 0, "x-ck12": 0, "texerror": 0}