Decomposing and Rehearsing Explanations of Algorithms in Mathematics