"by the alternate interior angle theorem."

I know it wasn't there before, but it helps explain it.