The finding represents the first major advance in solving the problem since ... To find a lower bound for the chromatic number, it suffices to create a graph with a finite number of vertices that ...