OMTEX CLASSES: Who introduced the idea of 'Proof' in mathematics first?