Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Lemma 11. Let K be an algebraically closed field, and let k≥1 and T≥0 be integers. In the degree- k plane linear system over K , the locus of reduced curves satisfying δ(C)≥T is constructible. If nonempty, it has dimension at most k(k+3)2-T.