By the linear pair theorem, is supplementary to. Since , by the definition of congruence,. Applying the substitution property of equality,. Simplifying the equation,. What step is missing from this proof?.