Step-by-step explanation:
The first statement is incorrect. It should be
seg AB is congr. to seg DC
Here are the reasons:
1. Given
2. Given
3. Theorem: Alt int angles of parallel lines
4. Theorem: Congruence of segments is reflexive
5. SAS
