Theorem - contact number is sorted horizontally, two natural straight line provide a natural straight line

Proof - [tex]11\rightarrow1[/tex]

[tex]2\underline{2 }2+_3^{\underline0}2\underline{2 }2=(2,2)[/tex]

[tex]2\underline{2 }2+_3^{\underline1}2\underline{2 }2=(1,1)[/tex]

[tex]2\underline{2 }2+_3^{\underline2}2\underline{2 }2=0[/tex]

[tex]2\underline{2 }2+_3^{\underline3}2\underline{2 }2=1[/tex]

[tex]2\underline{2 }2+_3^{\underline4}2\underline{2 }2=2[/tex]

[tex]2\underline{2 }2+_3^{\underline5}2\underline{2 }2=1[/tex]

[tex]2\underline{2 }2+_3^{\underline6}2\underline{2 }2=0[/tex]

[tex]+_3[/tex] - addition rule 3

(CM.) - No "addition rule 3"