theorem Th3: :: NEWTON05:24

for a being Integer holds Parity a divides a