🌐EnglishEnglishDeutschFrançaisItaliano中文EntityQ3921905· pop 7Euclid's first theoremtheorem in Euclidean geometry