そんな定理が合ったのか