ピタゴラスの定理
(see Pythagorean theorem for why this is so, geometrically).