\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
In a direct proof of the implication "If \(n\) is an odd integer, then \(n+1\) is an even integer", what is the correct first step?