Lemma A.3 ([1]}, p.198)
The integer valued splitting number pair \((S_M^+({\omega }),S_M^-({\omega }))\)  defined for all
\(({\omega },M)\in {\bf U}\times \cup _{n\ge 1}{\rm Sp}(2n)\)  are uniquely determined by the following axioms:
