>>76
発見されてないけど存在すると仮定すると計算上矛盾が生じない存在