Naomi's proofs9

Naomi's proofs9