Up
4.4.2 証明の例
11＋111＝11111 は，つぎのように証明される：
1＝1
(a1)
11＝11
(i1)
111＝111
(i1)
1111＝1111
(i1)
11111＝11111
(i1)
11111＝1111＋1
(a2)
1111＋1＝111＋11
(a3)
111＋11＝11＋111
(a3)
11111＝111＋11
(i3)
11111＝11＋111
(i3)
11＋111＝11111
(i2)