Question 781638
yes by transitive property of equality (or congruence)