Then, we want to show there is some formula_26 large enough, such that for every formula_4-colouring of the "substructures" of size formula_16 inside formula_26, we can find a suitable "structure" formula_3 inside formula_26, of size formula_29, such that all the "substructures" formula_78 of formula_3 with size formula_16 have the same colour.