En efecto, el producto de los dos números es igual al producto de su máximo común divisor por su mínimo común múltiplo.