>>743は直角三角形の三辺の長さに関する
三平方の定理の証明が自力でできる高校生が
どのくらいいると思っているのだろうか?