>>179
何か定理を使うのですか…?