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