ということはそれ以前は普通にピタゴラスの定理とよばれてたの