数学的に存在を証明できる。ただし背理法であるといった
それなりに難しい言葉の意味がわかる人間でないと証明してもその意味がわからないはず。
だからここはしばらく様子見。潜在的な味方の数を推測している。