>>204
証明不可能な問題はNG