存在証明無理なのは多分単純な地力不足