Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Lemma 5 ([A bounded flux form]). Under the topological, completeness, and asymptotic hypotheses of Definition 1 ([Admissible purely electric exterior]), the full-cut infimum satisfies 0<a≤_g(S). This assertion does not use the constraint inequalities or an assumed minimizing hypersurface.