カラテオドリとか、ハムサンドイッチの定理みたいに面白い名前の数学用語ってほかにないかね?