Σελίδα:Proclus (ed. Ritzenfeld) - Πρόκλου Διαδόχου Λυκίου Στοιχείωσις φυσική.djvu/36

22

PROCLI DIADOCHI

τοίνυν ἐν ἕκατέρῳ τούτων μετέβαλλε, καὶ ἐν τῷ ὅλῳ μετέβαλλε· κεῖται δὲ μεταβεβληκὸς κατὰ τὸ ὅλον. εἰ δὲ ἐν τῷ ἑτέρῳ μετέβαλλεν, ἐν δὲ τῷ ἑτέρῳ μεταβέβληκεν, οὐκέτι ἐν πρώτῳ τῷ ὅλῳ μεταβέβληκεν. εἰ δὲ ἐν ἀμφοτέροις μεταβέβληκε, πρὸ τοῦ ΑΓ ἐν τῷ ΑΔ μεταβεβληκός ἐστιν· οὐκ ἄρα ἔστι λαβεῖν ἀρχὴν μεταβολῆς.

24. Ἐὰν ᾖ κατά τι ποσὸν ἡ μεταβολή, τὸ πρῶτον ἐπ’ αὐτοῦ λαβεῖν οὐκ ἔσται.

Εἰ γὰρ δυνατόν, ἔστω κατὰ τὸ ΑΒ μέγεθος μεταβολή. λέγω ὅτι τὸ πρῶτον ἐπὶ τοῦ ΑΒ λαβεῖν οὐκ ἔστιν. εἰλήφθω γὰρ τὸ ΑΓ τυχόν, εἰ κατὰ τοῦτο πρῶτον μεταβέβληκεν. εἰ μὲν οὖν ἀδιαίρετον τὸ ΑΓ, ἔσται ἀμερὲς ἀμεροῦς ἐχόμενον· εἰ δὲ διαιρετόν, ἔσται τι τοῦ ΑΓ πρότερον, εἰς ὃ μεταβέβληκε, κἀκείνου ἄλλο καὶ τοῦτο εἰς ἄπειρον. οὐκ ἄρα ἔστι τοῦ μεγέθους, οὗ πρῶτόν τι μεταβέβληκεν.

25. Ἐὰν ἡστινοσοῦν μεταβολῆς ὁ πρῶτος χρόνος ληφθῇ, ἐν ὁτῳοῦν μορίῳ τοῦ χρόνου καὶ τῆς μεταβολῆς μόριον ἔσται.

Εἰλήφθω γὰρ πρῶτος χρόνος ὁ ΧΡ τῆς ΑΒ μεταβολῆς. ἐπεὶ οὖν πᾶς χρόνος εἰς ἄπειρον διαιρετός, διῃρήσθω κατὰ τὸ Κ. ἢ οὖν ἐν ἀμφοτέροις ἐστὶν ἡ μεταβολὴ τοῖς ΧΚ ΚΡ ἢ ἐν οὐδετέρῳ ἢ ἐν τῷ ἑτέρῳ. ἀλλ’ εἰ μὲν ἐν μηδετέρῳ, οὐδ’ ἐν τῷ ὅλῳ ἔσται χρόνῳ· εἰ δ’ ἐν τῷ ἑτέρῳ, οὐκ ἂν ὁ πρῶτος εἴη χρόνος τῆς μεταβολῆς· ἐν ἀμφοτέροις ἄρα τοῖς ΧΚ ΚΡ ἡ μεταβολή ἐστιν, ὅπερ ἔδει δεῖξαι.

26. Πᾶν τὸ κινούμενον κεκίνηται πρότερον.

Κινείσθω γὰρ ἐν [τῷ] πρώτῳ χρόνῳ τῷ ΧΡ τὸ ΑΒ μέγεθος, καὶ διῃρήσθω ὁ πρῶτος χρόνος κατὰ τὸ Κ. ἐν τῷ ΧΚ ἄρα