Khi chứng minh định lí, người ta cần:

A. Chứng minh định lí đó đúng;

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

C. Chứng minh định lí đó đúng trong mọi trường hợp có thể xảy ra của giả thiết;

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