Hi, I'm not sure if this question is a great candidate for a diagram. We are trying to prove the statement in question, that the number of trees in S is greater than or equal to the number of trees in M. The easiest way to do this is to show that M is located entirely within S.
