The key insight is that the estimator's bias is bounded by the product of three imbalance terms (Theorem 5.1). If any single component successfully removes bias, the overall bias vanishes — hence ...