已知x减y等于5