About Euclidean geometry results of 580

Relevance