$eq:disjoint$. The image of a connected graph under a homomorphism is connected, so it lies entirely in $G₁$ or entirely in $G₂$; hence the homomorphisms into $G₁ ⊕g G₂$ are the disjoint union of those into $G₁$ and those into $G₂$.