HO = ER

△THO = △MER

RO = HE, ∠THO = ∠MER, TO ǁ MR

HO = RO + EO and ER = EO + RO

HO = HE + EO and ER = EO + RO

Substitution

Parallel lines form equal corresponding angles

Substitution

ASA (Angle-Side-Angle)

Given

∠TOH = ∠MRE

Segment addition theorem