R(4,4) > 17, i.e., no red 4-cliques, no blue 4-cliques



*1101000110001011

Back


©  E. Specht     12-Mar-2003