Revision history of "equality of natural numbers" (Z13522)
Koho ʻokoʻa: Kaha i nā pahu lekiō o nā kāmua no ka hoʻokūkū ʻana a kāomi ke kāhoʻi aiʻole ka pihi ma ka lalo.
Pahu hōʻailona: (okawā) = ka ʻokoʻa me ke kāmua houloa, (aku nei) = ka ʻokoʻa me ke kāmua i hana mua, iki = he hoʻololi iki ia.