ἀποδεδειγμένον