Pythagorean theorem
はピタゴラスの定理を の場合として含む。