∃′≠(ノットイコールの存在)