Considere una colección finita de conjuntos de 3 elementos $A_i$ , de los cuales no hay dos que compartan más de un elemento, y cuya unión tiene cardinalidad 2017. Demuestre que los elementos de esta unión pueden colorearse con dos colores, azul y rojo, de modo que al menos 64 elementos sean azules y cada $A_i$ tenga al menos un elemento rojo.