Drag an expression or phrase to each box to complete the proof.

m m
(blank) Substitution Property
of Equality
(Blank) Simplifying
(blank) Definition of a right angle
(blank) /\ DEF is a right triangle / (blank)