Avital's proof of the equivalence of Paul and Eudoxus' definitions of proportion