>>62 その定理、初めて見ました。名前ってありますか?