Given m of angle ABC = m of angle DEF
and m of angle 1 = m of angle 4

Prove m of angle 2 = m of angle 3