ἀφήκω
From LSJ
προγράψαντες οὖν τά τε θεωρήματα καὶ τὰ ἐπιτάγματα τὰ χρεῖαν ἔχοντα εἰς τὰς ἀποδείξιας αὐτῶν μετὰ ταῦτα γραψοῦμές τοι τὰ προκείμενα → having therefore written at the beginning the theorems and the postulates that are necessary for their proofs, we will then write out for you the propositions
English (LSJ)
A arrive at or have arrived, οἷ πάντα δεῖ ἀφήκειν Pl.R.530e; ἐς θεούς D.C.52.4; ἐς πρῖσιν ἀ. is a case for operation, Hp.VC9. II depart, πολὺ ἀπό τινων D.C.41.8.
German (Pape)
[Seite 409] ankommen, hingelangen, οἷ πάντα δεῖ ἀφήκειν Plat. Rep. VII, 530 e; Antipho bei B. A. 470, = διήκω.
