論文の主定理から解が1つも出せないらしい