Successor requirement

The next substantive step requires the items of Definition def:package in status S. With them, the calculation of Section sec:nulljet is to be repeated for the actual module: define $F_0$ on every presentation of the six entries by the supplied composition rule; prove $r_O{F}_0=m^{\circ }\mathsf{Rec}$ on the supplied domain; compute $\ker \mathsf{Rec}$ and classify its relations into universal and annihilator type; evaluate $d_0$ on each annihilator relation and locate its support relative to the supplied contact locus; and decide cancellation in the supplied class $\mathcal{A}$. Proposition prop:onenull gives the form of the test on the one supplied relation. Proposition prop:reduction gives the first estimate to check for the supported sector once $v_{\alpha }$ and $c_{D,\beta }$ are supplied. The characteristic compositions of $K_{47}$ and both $K_5$ placements require a composition theorem that is not in the record and is not supplied by any result here.