book of proof solutions manual