出ないことを証明するのは無理では・・・