Talk:Euclidean theorem