实例399 用exists替代in谓词