Sajarah révisi "natural number is even" (Z13555)
Kanggo mbandhingaké: Tandhani kothak radhioning révisi-révisi kang arep dibandhingaké lan pencèt Enter utawa tombol ing ngisor.
Legéndhah: (saiki) = bédané karo révisi pungkasan, (sadurungé) = bédané karo révisi sadurungé, c = besutan cilik.