Semakan sejarah "equality of natural numbers" (Z13522)
ڤميليهن ڤربيذاءن: تنداکن بوتڠ راديو باݢي ۏرسي٢ يڠ ايڠين دبنديڠکن دان تکن بوتڠ "enter" اتاو بوتڠ دباوه.
ڤتونجوق: (کيني) = ڤربيذاءن دڠن سيمقن ترکيني، (اخير) = ڤربيذاءن دڠن سيمقن سبلومڽ، ک = سونتيڠن کچيل.