A. Consecutive interior angles converse
B. Consecutive exterior angles theorem
C. Linear pair theorem
D. Transitive property of congruence
