For, if AB, CD are not prime to one another, some number will measure them.
Let a number measure them, and let it be E;
let CD, measuring BF, leave FA less than itself,
let AF, measuring DG, leave GC less than itself,
and let GC, measuring FH, leave an unit HA.