Every Modular System has a Modular System Basis consisting of a finite number of Polynomials. Stated another way, for every order there exists a nonsingular curve with the maximum number of circuits and the maximum number for any one nest.
References
Coolidge, J. L. A Treatise on Algebraic Plane Curves. New York: Dover, p. 61, 1959.