IV.R71 — Why α-Idx prevents gap closure

The discreteness of alpha-Idx (positive naturals, from the coherence kernel) prevents the gap from closing: a non-decreasing sequence of positive integers is eventually constant by (KH-1), so the gap stabilizes at a positive value and cannot shrink below 1.