G Proofs 3.3 and 3.4.docx