En komplett teori for proporsjonalitet, som omfattet både kommensurable og inkommensurable lengder, skal ifølge senere kilder være utviklet av Evdoksos, som levde i det fjerde århundre før Kristus. Teorien er gjengitt i bok V i Euklids . I bok VI, påstand 2, gir Euklid transversalteoremet.