Proofs

selects

selects