The divisibility theorem for isomorphic factorizations of complete graphs