 This means homomorphisms from "G" × "H" to a graph "K" correspond to homomorphisms from "H" to "KG".Moreover, there is a homomorphism given by .These properties allow to conclude that the multiplicativity of "K" is equivalent to the statement