>>264
それ定理のステートメントなの?