See the proofs for these given in How to Prove It.
To the Syllabus
Back to Exercise 1.4.2
On to Exercise 1.5.2