数学的に解決してなかったみたいよ。