Phát biểu mệnh đề sau bằng cách sử dụng khái niệm ''điều kiện cần'', ''điều kiện đủ'': một tam giác là vuông khi và chỉ khi nó có một góc bằng tổng hai góc còn lại