 The above known cases are equivalent to saying that "K1", "K2", and "K3" are multiplicative.The case of "K4" is widely open.On the other hand, the proof of has been generalized by to show that all cycle graphs are multiplicative.