Euclid Book 1 Prop 7