Added Solution #8, a proof by induction
Added recursive definitions for #9 & #10
Updated LaTeX layout & rendering
Added proof for #9
Added proof for #9