Problem 2. (10 points) Use the well-ordering principle to prove the validity of the following logical argument in which P(x) is a predicate defined over the set of natural numbers, i.e., x E N P(0) .Vn E N: P(n)