Để chứng minh rằng AB // CD, ta áp dụng định lý về góc so le trong:

1. **Xác định các góc**:
- Ta có góc E1 = 80° và góc F1 = 80°.

2. **Sử dụng tính chất góc so le trong**:
- Vì AB và CD cắt nhau tại điểm E và F, góc E1 và F1 là các góc so le trong.
- Theo định lý về góc so le, nếu hai góc so le trong bằng nhau, thì hai đường thẳng cắt nhau (AB và CD) sẽ song song.

3. **Kết luận**:
- Do đó, ta có thể kết luận rằng AB // CD.

Vậy là đã chứng minh được yêu cầu!