Some Proofs