Satz_von_Euklid loading ...