=>a≡b⇔a=mp+r;b=mq+r(r<m)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
m|(a−b)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
∃t∈Z:a=b+mt" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡a(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm)⇒b≡a(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm);b≡c(modm)=>a≡c(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
ak≡bk(modm)k=1,2,..,n;εk∈1,−1=>∑k=1nεkak≡∑k=1nεkbk(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
ak≡bk(modm)k=1,2,..,n=>∏k=1nak≡∏k=1nbk(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm)⇔a±c≡b±c(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
b,a≡b+c(modm)⇔a−b≡c(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
c,a≡b(modm)=>ac≡bc(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm)⇔a≡b+mp(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
e,a≡b(modm)=>an≡bn(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm)⇔ad≡bd(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modm)⇔ad≡bd(modmd)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
a≡b(modmk)k=1,2,..,n=>a≡b(mod[m1,m2,..mn])" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">[m1,...mn]" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">m1,m2,..mn" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">a≡b(modm)" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">X⊂Y" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">Y⊂X" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
x∈X" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">x∈Y=>X⊂Y" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
Y⊂X=>X=Y" role="presentation" style="border:0px; color:rgb(40, 40, 40); direction:ltr; display:inline-block; float:none; font-family:helvea,arial,sans-serif; font-size:16.38px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap" class="MathJax_CHTML mjx-chtml">
-----------------------------------------------------------------------------------------------------------------
