DM.SNT.2.f: Construct a proof by induction using principles of combinatorics.