Các tính chất sau được suy ra trực tiếp từ định lí nào: Góc ngoài của một tam giác bằng tổng hai góc trong không kề với nhau

Các tính chất sau đây được suy ra trực tiếp từ định lí nào?
a) Góc ngoài của một tam giác bằng tổng hai góc trong không kề với nhau.
b) Trong một tam giác vuông, hai góc nhọn phụ nhau.
c) Trong một tam giác đều, các góc bằng nhau.
d) Nếu một tam giác có ba góc bằng nhau thì tam giác đó là tam giác đều.