已知:角1等于角2,角3等于角4.求证:AB平行于EF