解法：马库斯–斯皮尔曼–斯里瓦斯塔瓦利用交错族给出的证明(2013年)

把最后三步串起来:(1)混合特征多项式 $\mu[A_1,\ldots,A_m](x)$ 等于独立随机和的期望特征多项式,且有实根(第4步);(2)交错族选出一个最大根不超过平均最大根的结果(第5步);(3)势垒计算把平均根界定为 $u^*=(1+\sqrt{2\delta})^2/2$(第6步)。把论文的 $r=2$ 直和提升应用于这些随机向量,便得到互补的两组 $S_1,S_2$,对两个 $j$ 都有 $\left\|\sum_{i\in S_j}v_iv_i^*\right\|\le u^*$,从而证明 $KS_2$。