διέγραφε αποδείξεις