数学の何とかの定理とか何とかの法則とか、日本人の名前ついたやつはないの?