mathematical proofs 3rd edition solutions pdf