9-17 Proofs11-17 Proofs