>>303
両方の定理、ちゃんと書いてみ。