给定两个偏好x和y，如何证明他们两个是否满足local-nonsatiation？求学霸指教！