Một định lý có rất nhiều trường hợp có thể xảy ra. Có thể sẽ có trường hợp đúng với định lý đó, những cũng có trường hợp không đúng. Nên ta cần phải xét toàn bộ tất cả các trường hợp để khẳng định được định lý đó là đúng trong tất cả trường hợp. Như vậy dù trong bất kì lần áp dụng nào cũng sẽ không bị sai.
