V.L02 — Geometric contraction of defect support

Geometric contraction lemma for defect support: if a_{n+1} <= (1 - iota_tau) a_n, then a_n <= (1 - iota_tau)^n a_0, the series sum_{n>=0} a_n <= a_0/iota_tau is finite, and a_n -> 0. The contraction factor is the gravitational coupling.