Why prove it again? : alternative proofs in mathematical practice / - Dawson, John W.