Cách phát biểu nào sau đây không dùng để phát biểu định lí toán học dưới dạng $A\Rightarrow B$?

(AI giải đề cho tôi)
Định lí dạng $A\Rightarrow B$ có thể phát biểu là: 'Nếu $A$ thì $B$', '$A$ kéo theo $B$', '$A$ là điều kiện đủ để có $B$' hoặc '$B$ là điều kiện cần để có $A$'. Do đó '$A$ là điều kiện cần để có $B$' (phương án D) không phải là cách phát biểu đúng của $A\Rightarrow B$; đáp án trùng với đáp số nguồn (D).