Given that and g is a transversal, we know that by the alternate interior angles theorem. We also know that and by the ________. Therefore, by the substitution property.