カルノーの定理 (幾何学)
カルノーの定理は、三上義夫、林鶴一によって紹介されたとされる、日本の定理の証明に使用される。