Posted on

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$