4 Cada lado de un polígono convexo de $2019$ lados está coloreado de rojo, amarillo o azul, y hay exactamente $673$ lados de cada color. Demuestre que existe al menos una manera de trazar $2016$ diagonales para dividir el polígono convexo de $2019$ lados en $2017$ triángulos, tal que dos cualesquiera de las $2016$ diagonales no se intersecan en el interior del polígono de $2019$ lados, y para cualquier triángulo entre los $2017$ triángulos, los colores de los tres lados del triángulo son todos iguales o todos distintos.