It comes from alternate interior angles.

几何视频中我证明过。

And that's from our-- you know, we know about parallel lines and alternate interior angles.

那是我们的——你知道，我们知道平行线和交替的内角。