ピタゴラスの定理
Note that from Pythagorean theorem,