(´・ω・`) それは三平方の定理とかのように既知のものとして考えたい