Produce EF to intersect AC at point N.
From figure, ∠BAC = 57° and
∠ACD = 22°+35° = 57°
Alternative angles of parallel lines are equal
BA || EF …..(1)
Sum of Co-interior angles of parallel lines is 180°
EF || CD
∠DCE + ∠CEF = 35 + 145 = 180° …(2)
From (1) and (2)
AB || EF [Since, Lines parallel to the same line are parallel to each other]
Hence Proved.