since any two operators F [ l ] , F [ l ′ ] (respectively, G [ l ] , G [ l ′ ] ) commute for l ≠ ≠ l ′ and an ST expansion of the first order keeps only the product of the exponentials, the approximation becoming, in this case, exact.