Let $G$ and $H$ each be a D2726: Finite graph such that

(i)	$G \times H$ is the D2883: Graph product of $G$ and $H$
(ii)	$\gamma(G)$, $\gamma(H)$, $\gamma(G \times H)$ each is a D2882: Graph domination number for $G$, $H$, and $G \times H$, respectively

Then \begin{equation} \gamma(G) \gamma(H) \leq \gamma(G \times H) \end{equation}