最後に、

　　　　　　　　　　e
　e　　　　　　　　△
　△　→＜　　1 △ 1
e　　1　　　　△　　△
　　　　　　　e　　1　　*

より * = 1 でなければならず

　1
　△　　＞→ 1
1　　1

である。以上の定義は縮小 ＞→ について矛盾なく定義されている。

まとめて書くと、この三角乗法は、e := 0 とすると

　a
　△　　＞→ a+b+c (mod 2)
b　　c

である。