What technique is often used to prove the correctness of a recursive method?
The main idea behind recursion is how we reduce a problem to smaller problems till reaching to a base condition.
This is also how mathematical induction works.