theorem :: NEWTON05:34

for a being Integer holds Parity a <= |.a.|