(\forall k \in Z)~k \equiv k^2~(mod~2)