show exact steps to solve using algebraic terms " Distributive property or Associative multiplicative property" as of that for the reasoning

Given that
[tex]\begin{gathered} AB\parallel DE(given) \\ BC\parallel EF(given) \end{gathered}[/tex]The diagram is as shown below:
Prove:
[tex]<\text{ABC}=Putting a and b in the given diagram as shown above[tex]<\text{ABC}=b(\text{corresponding angles)}[/tex][tex]<\text{DEF}=b(\text{corresponding angles)}[/tex]Since b is the same,
Hence, the