Naomi's proofs10

Naomi's proofs10