Although the kinetic energy and potential energy operators do not commute, the Trotter product formula, cited above, says that over each small time-interval, we can ignore this noncommutativity and write