存在するしないをプログラミングで証明するのはお題として良くない