Hilbertの定理90ってなんで「定理90」なんですか？
定理83とか定理55とかも定理あるんでしょうか。