Given: angle 1 = angle 4
Prove: angle 2 = angle 3

[tex] \angle 1 = \angle 2 \qquad [/tex] vertical angles
[tex] \angle 3 = \angle 4 \qquad [/tex] vertical angles
[tex]\angle 1 = \angle 4 \qquad [/tex] given
[tex]\angle 2 = \angle 3 \qquad [/tex] transitivity