Considere una colección finita de conjuntos de 3 elementos $A_i$, no dos de los cuales comparten más de un elemento, cuya unión tiene cardinalidad 2017. Demuestre que los elementos de esta unión se pueden colorear 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.