Original: See Introduction, The terminology of Archimedes, p. clxxxii: "theorem () from to investigate"
Simplified: Petkovsek et al.