proofs

proofs

final