Inicio ForoGauss Matemáticas Dudas/Consultas Demostración formal del teorema de los cuatro colores Respuesta a: Demostración formal del teorema de los cuatro colores

#56557
APoL0
Invitado

Una última corrección para que quede más elegante:

Para que el número cromático de un grafo sea 5 o superior, éste siempre deberá contener al menos un subrafo K5 o una subdivisión elemental suya.

Añado a los créditos al usuario Rivers McForge de StackExchange: