Let G1 and G2 be graphs that are decomposable into Hamilton cycles. Bermond (1978), generalizing Kotzig (1973), has conjectured that G1 x G2 is decomposable into Hamilton cycles. We will show that this conclusion holds under mild additional assumptions. We will extend some of our results to multigraphs.