 Local correctability of a stabilizer code

If every pairwise product $E_a^{†}{E}_b$ has weight below the code distance, it cannot be a nontrivial logical operator. The Knill--Laflamme conditions then hold for the whole error set.