2×2 行列 \(A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}\) は \(A^2 - (a + d)A + (ad - bc)I = 0\) を満たす。自然数には引き算が無いので、\(A^2 + (ad)I = (a + d)A + (bc)I\) の4成分の等式で述べる（\(ad - bc\) が負のときも同じ式）。
\(a , b , c , d \in \mathbb{M} \Longrightarrow ( a \cdot a + b \cdot c ) + a \cdot d = ( a + d ) \cdot a + b \cdot c , a \cdot b + b \cdot d = ( a + d ) \cdot b , c \cdot a + d \cdot c = ( a + d ) \cdot c , ( c \cdot b + d \cdot d ) + a \cdot d = ( a + d ) \cdot d + b \cdot c\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，Peano1 ，Peano2 ，INDC ，+𝕄 ，⋅𝕄 ，↑𝕄 ，\(0 \in \mathbb{M}\)