论述买方违反合同时卖方的救济方法。