最小反例、平移傳輸與需求容量閉合

對假想的最小反例 N_*，把較小偶數的成功對平移 h（M_k | h）後，端點必須是 p_k-粗糙合數，得到 D_{N_*}(p_k) ≥ ν_k(N_*)（傳輸匹配），並給出「最小性 → 傳輸 → 容量」的矛盾架構；所需的交叉 ν_k > U 沒有被證明。