P3.1.8 (uses Java) Using the Least Number Axiom of Excursion 1.2, prove carefully that the factor method given in the text correctly factors any natural. (Hint: Assume that n is the small- est number that it doesn't factor correctly, trace the method with input n, and derive a contradiction.) P3.1.8 (uses Java) Using the Least Number Axiom of Excursion 1.2, prove carefully that the factor method given in the text correctly factors any natural. (Hint: Assume that n is the small- est number that it doesn't factor correctly, trace the method with input n, and derive a contradiction.)