For a graph , the expression means that for any -coloring of the vertices of , there exists such that there is a monochromatic -clique of color . The vertex Folkman numbers
are considered, where .
With the help of a computer, we show that , and then we prove