已知x减y等于4