エウドクソス
Because Archimedes credited it to Eudoxus of Cnidus it is also known as the "Theorem of Eudoxus" or the "Eudoxus axiom".