Question: prove that 1 is an odd number?
Answer: We prove that every natural number n is even or odd by induction on n. Base case: n = 1. We know that 1 = 2 × 0 + 1 so 1 is odd, by definition of oddness. Induction step: n > 1.