そもそも証明できる可能性はほぼないっていう考察が全く定量的じゃないから、わざわざそれを言う意味が分からない