La prueba más breve conocida de este teorema aún tiene más de 600 casos.