A definition is something you can use

Every proof starts from definitions. When a proof says “let $n$ be even”, you may write $n = 2k$.

An integer is odd if $n = 2k + 1$ for some integer $k$.