Naomi's proofs12

Naomi's proofs12