• ελεγχος αποδειξεων