Preservation under categorical products. By the identity $hom(F, G ×g K) = hom(F, G) · hom(F, K)$, which expresses that $×g$ is the product in the category of graphs and graph homomorphisms, both sides of the required equation pick up the same factor $hom(F, K)$.