Naomi's proofs17

Naomi's proofs17