
theorem
for a,b be Integer holds parity (a+b) = parity ((parity a)+(parity b))
by NAT_D:66;
