Pullback of Quotient Group Isomorphism is Subgroup

Theorem
Let $G, H$ be groups.

Let $N \triangleleft G, K \triangleleft H$.

Let $G / N \cong H / K$, where $\cong$ denotes group isomorphism.

Let $\theta: G / N \to H / K$ be such a group isomorphism.

Let $G \times^\theta H$ be the pullback of $G$ and $H$ via $\theta$.

Then $G \times^\theta H$ is a subgroup of $G \times H$.