4.1.4 存在型多变量问题