Let
Let
Using the results and lemma 5.4, we improve a finiteness theorem proved in [11] to a more robust theorem 5.5 which says:
Suppose
Further, suppose that
We end this paper with a proof of an algorithm describing the maximal
1970-2025 CP (Manitoba, Canada) unless otherwise stated.