>>52
暗記してないが証明を知らない定理もあるから