#proofrecursion