Prove using the Well-Ordering Principle that given any natural number n 1, there exists an odd natural number m and a nonnegative integer k such that n = 2^k * m.