>>28
この定理、重要なの?