R(3,5) > 13, i.e., no red 3-cliques, no blue 5-cliques



*011101101110

Back

---

©  E. Specht     12-Mar-2003