あるという証明はないけどないという証明もないよな?