In proof by exhaustion, the conclusion is established by dividing it into a finite number of cases and proving each one separately. The number of cases sometimes can become very large. For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases. This proof was controversial because the majority of the cases were checked by a computer program, not by hand. The shortest known proof of the four color theorem still has over 600 cases.

নির্জীব প্রমাণ
বৈপরিত্য দ্বারা প্রমাণ
গাণিতিক আরোহ পদ্ধতিতে প্রমাণ
সরাসরি প্রমাণ