Proclus' division of the mathematical proposition into parts. How and why was it formulated? -. - Netz, R. (1999)