ｻﾎﾟｰﾀｰは不必要だと証明されたんじゃなかったのか