 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.