差集飽和圖、三項等差證書與 Binary-Tower Survivor

證明六／五指數定理給出的差集飽和約束，全部被無限的二進制塔 {0, 1, 2, 4, 8, …} 滿足，所以純粹的加法組合學不能排除 Type P 的下降；定義二進制錨定下降塔 BADT，並寫下停止條件，不再繼續差集光暈迭代。