amsart-seq - Here, numbering for each type of statement is in its own sequence,
with no reference to the section number.
There are also many (but not all) environments available unnumbered, which
amsart-seq - Here, numbering for each type of statement is in its own sequence,
with no reference to the section number.
There are also many (but not all) environments available unnumbered, which