If I wanted to prove that course of values induction and least-number induction were equivalent, how would I go about setting up such a proof?