>>192
必ずしも定理を使う必要はないと思うのですが…