Some basic proofs from Benjamin Pierce book.