Una evidente condición necesaria para $K_{m,n}$ ser descompuesto en dos ejemplares de un gráfico de $G$, es que el número de aristas en $K_{m,n}$ es el doble del número de aristas en $G$. Por lo tanto $mn$ debe ser par. Sin pérdida de generalidad, supongamos $m$ es incluso.
Un dibujo de una descomposición de la $K_{4,5}$ en dos grafos isomorfos, es la siguiente.
En general, podemos dividir los vértices en la parte de tamaño $m$ en dos mitades $A$$B$, y conservar sólo los bordes incidente con $A$ en una gráfica, y conservar sólo los bordes incidente con $B$ en el otro gráfico.
El resultado es una descomposición de la $K_{m,n}$ en dos copias de la gráfica de $K_{m/2,n}$ junto con $m/2$ aislado de los vértices.