つまり勾股弦の定理だ