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