Why prove it again : alternative proofs in mathematical practice /: alternative proofs in mathematical practice. (2015)