Euclid:Proposition/VI/7