>>944
その大事な部分は、たとえばどんな定理に集約されますか?