Posted on Leave a comment

Definition of Even

An integer n is even if, and only if, n equals twice some integer.

n~is~even\iff\exists~an~integer~k~such~that~n=2k