>>632
定理のステートメントはどこにあるのか聞いてるんだけど