等式性质与等量代换有哪些差别,特别是在证明角的时候?