Trong các phát biểu sau, phát biểu nào là định lí?

Trong các phát biểu sau, phát biểu nào là định lí?
A. Nếu Ox là tia phân giác của góc aOb thì aox =1/2 aob
B. Nếu hai góc đối đỉnh thì bù nhau
C. Hai góc so le trong thì bằng nhau
D. Qua một điểm ở ngoài một đường thẳng, có hai đường thẳng song song với đường thẳng đó