The reason that justifies statement 13, which states that \( m\angle D = 90^\circ \), is derived from the properties of the constructed triangle \( \triangle DEF \). Since \( \triangle DEF \) was constructed as a right triangle (as stated in the construction step), \( m\angle D \) is defined to be 90 degrees.
Thus, the correct reason for statement 13 is:
Definition of right triangles.