Codex > Divisibility (Number Theory)
🅟 Mar 16, 2026
🅤 Mar 16, 2026
DEF-EVEN. Even and Odd Number. Let $n\in\N$. $n$ is even if $2\divides n$. $n$ is odd if $2\not\divides n$.
DEF-EVEN. Even and Odd Number.
Let $n\in\N$.
$n$ is even if $2\divides n$.
$n$ is odd if $2\not\divides n$.