四色問題の証明は、コンピュータで総当りをしただけだって、数学の先生が言ってた