there exist的用法(是exists还是exist)