Por ejemplo, el Teorema de los cuatro colores se convierte en Teorema de los siete colores y es mucho más fácil de probar.