:: deftheorem defines parity NEWTON05:def 1 :
for a being Integer holds parity a = a mod 2;