Definición bipartita clánica.
G6 homotópica a BK(G6).