Naomi's proofs11

Naomi's proofs11