Euclid:Proposition/VIII/12