で、二つに別れてないと主張を変える?
存在証明はしたよ?