>>532
定理が読めるのならここにコピペしてほしい