Phát biểu bằng lời định lí sau:

GT	$\widehat{A}+\widehat{B}={90}^o$;  $\widehat{A}+\widehat{C}={90}^o$
KL	$\widehat{B}=\widehat{C}$.

A. Chứng minh định lí đó đúng trong một trường hợp cụ thể của giả thiết;

B. Chứng minh định lí đó đúng trong hai trường hợp cụ thể của giả thiết;

A. $\widehat{xOy}=\widehat{x\text{'}Oy\text{'}}$  ;

B. $\widehat{xOy}=\widehat{x\text{'}Oy}$ ;

A. a // b, a ^ c;

B. a // b;

A. Góc tạo bởi hai tia phân giác của hai góc kề bù là một góc vuông;

B. Góc tạo bởi hai tia phân giác của hai góc kề bù là một góc nhọn;

A. Giả thiết của định lý là điều cho biết;

B. Kết luận của định lý là điều được suy ra;

A. M nằm giữa A và B;

B. MA ¹ MB;

A. Chứng minh định lí là dùng lập luận để từ giả thiết suy ra kết luận;

B. Định lí là một khẳng định được suy ra từ những khẳng định được coi là đúng;