Trong các khẳng định sau, khẳng định nào là định lí?

Hai đường thẳng phân biệt cùng song song với đường thẳng thứ ba thì chúng vuông góc với nhau.

Một đường thẳng cắt một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng kia.

Hai góc bằng nhau thì đối đỉnh.

Hai góc đối đỉnh thì bằng nhau.