Types Of Proofs In Mathematics