File:MathFoundations20 Euclid and proportions