1) Given
2) Segment addition postulate
3) Substitution property
4) Segment addition postulate
5) Transitive property of equality