Welchen Nutzen brächte der, der einen Lehrsatz des Euklid zum zweiten Mal bewiese?