If two parallel lines are intersected by the third line then intenal alternate angles are equal.