The Group Form of Law: The Necessity Form of Law

The General Form of Law establishes the necessary structural direction, but exhaustion of necessary conditions does not by itself establish the converse. This paper therefore proves the sufficient direction independently: whether the existence of an already formed bearing organization that genuinely participates in subsequent generation and possesses stable-recurrence support is sufficient for Law. The proof freezes the source-text corpus, atomizes its propositions, separates formation, present qualification, disqualification, degree, consequence, and relational roles, and then tests whether Established ∧ Govern completely realizes the source-text qualification for present lawhood. The resulting theorem establishes ∃R[Established ∧ Govern] ⇒ Law. The paper introduces no new field quantity, ontological predicate, or unverified bridge; where conditional upstream conclusions are invoked, their original antecedents are retained.