>>842
そんな高級な定理を使わないと証明できないのか?