Theorem: Characterization of Natural Transformation Between Bifunctors

Let $\mathbf C, \mathbf D$ and $\mathbf E$ be categories.
Let $F, G : \mathbf C \times \mathbf D \to \mathbf E$ be bifunctors from the product category $\mathbf C \times \mathbf D$ to the category $\mathbf E$.
For each object $C \in\mathbf C$ let: 
:$F \tuple{C, -}$ and $G \tuple{C, -}$
denote the functors obtained by substituting the first variable of $F$ and $G$, respectively, with $C$.
For each object $D \in\mathbf D$ let:
:$F \tuple{-, D}$ and $G \tuple{-, D}$
denote the functors obtained by substituting the second variable of $F$ and $G$, respectively, with $D$.
For each object $\tuple{C, D} \in \mathbf C \times \mathbf D$ let:
:$\alpha_{\tuple{C, D}} : F \tuple{C,D} \to G \tuple{C,D}$ 
denote a morphism in $\mathbf E$.
Then:
:$\alpha : F \to G$ is a natural transformation
{{iff}}
:$(1)\quad$ For each object  $C \in \mathbf C : \alpha \tuple{C, -} : F \tuple{C, -} \to G \tuple{C, -}$ is a natural transformation
:$(2)\quad$ For each object  $D \in \mathbf D : \alpha \tuple{-, D} : F \tuple{-, D} \to G \tuple{-, D}$ is a natural transformation
where:
:for objects $C \in \mathbf C$ and $D \in \mathbf D$, $\alpha \tuple{C, -}_D = \alpha_{\tuple{C, D}}$
and:
:for objects $C \in \mathbf C$ and $D \in \mathbf D$, $\alpha \tuple{-, D}_C = \alpha_{\tuple{C, D}}$

Proof:
By definition of natural transformation:
:for all morphisms $\tuple{f: C \to C', g:D \to D'} \in \mathbf C \times \mathbf D : \map G {f, g} \circ \alpha_{\tuple{C, D} } = \alpha_{\tuple{C', D'} } \circ \map F {f, g}$
In particular:
:$(3)\quad$ for all morphisms $\tuple{f: C \to C', \operatorname{id}_D:D \to D} \in \mathbf C \times \mathbf D : \map G {f, \operatorname{id}_D} \circ \alpha_{\tuple{C, D} } = \alpha_{\tuple{C', D} } \circ \map F {f, \operatorname{id}_D}$
and:
:$(4)\quad$ for all morphisms $\tuple{\operatorname{id}_C: C \to C, g:D \to D'} \in \mathbf C \times \mathbf D : \map G {\operatorname{id}_C, g} \circ \alpha_{\tuple{C, D} } = \alpha_{\tuple{C, D'} } \circ \map F {\operatorname{id}_C, g}$
For all object $D \in \mathbf D$ and morphisms $f: C \to C' \in \mathbf C$, we have:
{{begin-eqn}}
{{eqn | l = \map {G \tuple{-, D} } f \circ \alpha \tuple{-, D}_C
      | r = \map G {f, \operatorname{id}_D} \circ \alpha \tuple{-, D}_C
      | c = {{Defof|Bifunctor|substitution of second variable}}
}}
{{eqn | r = \map G {f, \operatorname{id}_D} \circ \alpha_{\tuple{C, D} }
      | c = Definition of $\alpha \tuple{-, D}$
}}
{{eqn | r = \alpha_{\tuple{C', D} } \circ \map F {f, \operatorname{id}_D}
      | c = By $(3)$
}}
{{eqn | r = \alpha \tuple{-, D}_{C'} \circ \map F {f, \operatorname{id}_D}
      | c = Definition of $\alpha \tuple{-, D}$
}}
{{eqn | r = \alpha \tuple{-, D}_{C'} \circ \map {F \tuple{-, D} } f
      | c = {{Defof|Bifunctor|substitution of second variable}}
}}
{{end-eqn}}
It follows that for each object  $D \in \mathbf D$:
:$\alpha \tuple{-, D} : F \tuple{-, D} \to G \tuple{-, D}$ is a natural transformation
by definition.
For all object $C \in \mathbf C$ and morphisms $g: D \to D' \in \mathbf D$, we have:
{{begin-eqn}}
{{eqn | l = \map {G \tuple{C, -} } f \circ \alpha \tuple{C, -}_D
      | r = \map G {\operatorname{id}_C, g} \circ \alpha \tuple{C, -}_D
      | c = {{Defof|Bifunctor|substitution of first variable}}
}}
{{eqn | r = \map G {\operatorname{id}_C, g} \circ \alpha_{\tuple{C, D} }
      | c = Definition of $\alpha \tuple{C, -}$
}}
{{eqn | r = \alpha_{\tuple{C, D'} } \circ \map F {\operatorname{id}_C, g}
      | c = By $(4)$
}}
{{eqn | r = \alpha \tuple{C, -}_{D'} \circ \map F {\operatorname{id}_C, g}
      | c = Definition of $\alpha \tuple{C, -}$
}}
{{eqn | r = \alpha \tuple{C, -}_{D'} \circ \map {F \tuple{C, -} } g
      | c = {{Defof|Bifunctor|substitution of first variable}}
}}
{{end-eqn}}
It follows that for each object  $C \in \mathbf C$:
:$\alpha \tuple{C, -} : F \tuple{C, -} \to G \tuple{C, -}$ is a natural transformation
by definition.
The result follows.