>>879直角三角形の辺の長さについて
(たて)^2+(よこ)^2=(ななめ)^2
が成り立つ、という定理。