Provide the missing reasons for the following proof:
(In the picture)

Options
- Transitive Property of
Congruence
- Subtraction Property of
Equality
- Vertical Angles Theorem
(VAT)
- Division Property of
Equality
- Given
- Angle Congruence
Postulate
- Substitution Property of
Equality