A simple proof of the Galvin-Ramsey property of the class of all finite graphs and a dimension of a graph

Abstract Using a representation of finite graphs by direct products we prove the theorem given in the title in a very simple way. Moreover, we introduce a dimension of a graph analogous to the Dushnik-Miller dimension of a partially ordered set.