#tex2html_wrap_inline2799#. It is then clear
that two equivalent nets are I-O equivalent.
Now, Sussmann's major result is:
#theorem1696#
This theorem implies the following corollary:
An irreducible #tex2html_wrap_inline2819#-net is minimal.
#tex2html_wrap_inline2821#