  It is proved that in Godel's constructible universe, for every infinite
successor cardinal k, there exist graphs G and H of size and chromatic number
k, for which the tensor product graph (G x H) is countably chromatic.
