here are the proofs