there exist的用法