Euclidean theorem