Si los atlas utilizados definen una estructura diferenciable en los factores, el atlas producto define una estructura diferenciable en la variedad producto.