methods of proof recursion algorithm
Tout plus