Even though n is arbitrary, its properties are irrelevant when doing induction. By assuming the statement to be true for arbitrary n, we are assuming it to be true for any n (even, odd, prime, anything!). This allows us to start at the base case and generalize to all natural numbers (all of which are covered by the "arbitrary" nature of n).