用斯科伦定理消除第4题中各个小题的存在量词.

重要提示：请勿将账号共享给其他人使用，违者账号将被封禁。