This solution shows a common difference, the creation of Let statements, the difference between recursive and explicit pattern rules, what a validity statement is (and how to create it), application of an explicit pattern rule to solve a problem, double-checking an equation using inspection to prove the L.S. of an equation is equal to the R.S. of an equation.