11913年のCaratheodoryの定理が
1903年のOsgood予想の解決だったことを
今日初めて知った