Definition:Euclidean Construction