角1加角2=180°,角3加角4=180°,所以角1+角2=角3+角4是等量代换还是等式性质