What is the missing reason in the proof?
given
transitive property
alternate interior angles theorem
converse alternate interior angles theorem

