Initial Proofs

Initial Proofs