Proposisi 4 Euclid