Use a correct form of mathematical induction to prove that for
all positive integers m, there exists a nonnegative integer p and
an odd integer k for which m = 2^(p)*k