For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases.
Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.