I.L04 — Strict Remainder Descent

D < X whenever X >= 2. Tower atom >= 2, so remainder D <= X/2 < X. Prime-stratum descent: largest prime of D is strictly less than A.