. This is a key result used for Trotterization.