4 ms·Easy to prove termination and analyse recursion in general via structural induction.by rs86 8y agoEasy to prove termination and analyse recursion in general via structural induction.