Prove the line by following models of formal proof: the sum of two consecutive odd integers is even.
proof: let n be an odd integer. then n = 2k + 1 for some integer k and the next odd integer is n + 2 which