An introduction to mathematical proofs. ([2020])