This is equivalent because the number of homomorphisms from formula_38 to formula_2 is twice the number of edges in formula_2, and the inequality only needs to be checked when formula_14 is a graph as previously mentioned.