ἀλλ' οὐκ ἂν μαχέσαιτο· χέσαιτο γάρ, εἰ μαχέσαιτο

From LSJ

κατὰ τὸ φιλόκαλον πειραθέντα κατανοῆσαι → see by working out the calculation

Source