Correction-term theorem concerning decompositions of exponential operators