因数分解の公式。
Sophie Germain の恒等式：\(a^4 + 4b^4 = (a^2 + 2b^2 + 2ab)(a^2 + 2b^2 - 2ab)\)。引き算を使わない形で \((a^2 + 2b^2)^2 = (a^4 + 4b^4) + (2ab)^2\)。
\(a , b \in \mathbb{M} \Longrightarrow ( a \cdot a + 2 \cdot ( b \cdot b ) ) \cdot ( a \cdot a + 2 \cdot ( b \cdot b ) ) = ( ( a \cdot a ) \cdot ( a \cdot a ) + 4 \cdot ( ( b \cdot b ) \cdot ( b \cdot b ) ) ) + ( 2 \cdot ( a \cdot b ) ) \cdot ( 2 \cdot ( a \cdot b ) )\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，Peano1 ，Peano2 ，INDC ，+𝕄 ，⋅𝕄 ，↑𝕄 ，\(0 \in \mathbb{M}\)