Revision history of "natural number is even" (Z13555)
Dewis dyffransow: Merkyewgh kistennow radyo a'n amendyansow dhe geheveli, ha gweskewgh 'entra' po an boton orth goles an folen.
Alhwedh: (lemmyn) = an dyffrans dhyworth an amendyans diwettha, (kyns) = an dyffrans dhyworth an amendyans kyns, B = golegyans byghan.