fixed

fixed

proofs

proofs