Thanks John. I see the mistake in my "correction". I need to be sure that my expressions are consistent with all the relevant definitions. Practice makes perfect! The use of the inclusion is interesting! It makes it easy to focus on just a few elements of the problem in a way that simplifies the proof.