Tolong jelaskan mengenai Bukti menerusi habisan dari Bukti matematik dalam bahasa melayu

Dalam bukti menerusi habisan, kesimpulan didapati dengan membahagikannya kepada satu bilangan kes yang terhingga dan membuktikan setiap satunya secara berasingan. Bilangan kes kadang-kadang boleh menjadi sangat besar. Sebagai contoh,bukti pertama untuk teorem empat warna ialah bukti menerusi habisan dengan 1,936 kes. Bukti ini adalah satu kontrovesi kerana majoriti kes diperiksa dengan satu program komputer, bukan dengan pengiraan tangan. Bukti paling pendek yang diketahui hari ini untuk teorem empat warna masih memiliki lebih 600 kes.