Abbreviation At End Of Mathematical Proof