エドガー・ダイクストラ
Edsger W. Dijkstra has stated this proposition about acute, right, and obtuse triangles in this language: