From local to global ideal-triangularizability

Let L be a Banach lattice with order continuous norm, and let S be a multiplicative semigroup of ideal-triangularizable positive compact operators on L such that, for every pair A, B in S, the atomic diagonal of the commutator AB-BA is equal to zero. We prove that the semigroup S is ideal-triangularizable.