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}