there exist 用法