Select the reason that best supports Statement 11 in the given proof.

Notice that in step 3 it was found that AB=12, on step 7 BC=11, on step 8 CD=AB=12, and on step 9 AD=BC=11.
Therefore, using the information on such steps, step 11 consists of a substitution.