The first thing, if is the SMALLEST -algebra containing all , then should be

.

Maybe they mean Dynkin's lemma? sometimes it is mistakingly called "the monote class theorem". Do you know how this routine application of the lemma works in measure and probility theory??

Let me check on the rest and ill get back to you.