Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων - Γριβοκωστοπούλου, Φωτεινή (2010)