こういうので計算では出ないけど理論で存在が証明されたとかあるの?