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



*0010111001110100

Back

---

©  E. Specht     12-Mar-2003