Need help with these proofs