Pythagorean theorem
ゆえに、ピタゴラスの定理は成立する。