После этого можно будет писать, например, вот что:
Обратите внимание, что, если "теорема" определена таким образом (со счетчиком, подчиненным другому счетчику), то представление ее номера на печати изменяется: при определении
\newtheorem{xyz}[abcd](счетчик "теоремы" типа xyz подчинен счетчику abcd) команда \thexyz будет определена как
\theabcd.\arabic{xyz}(если вы хотите, чтобы нумерация "теоремы" представлялась на печати иначе, вы опять-таки можете переопределить the-команду).
Наконец, LaTeX предоставляет еще одну возможность нумерации определяемых вами "теорем". Предположим, что кроме теорем в вашем тексте есть еще и леммы, и при этом вы хотите, чтобы леммы и теоремы нумеровались совместно: теорема 2.1, теорема 2.2, затем лемма 2.3, затем теорема 2.4 и т.д. Тогда, предполагая, что окружение {theorem} уже определено, как выше, можно определить окружение {lemma} так:
\newtheorem{lemma}[theorem]{Лемма}В этом случае необязательный аргумент команды \newtheorem располагается между двумя обязательными; этот аргумент - имя того окружения типа "теорема", совместно с которым будет нумероваться определяемая вами "теорема".
Команду \newtheorem можно использовать или с одним необязательным аргументом, или с другим, но не с обоими вместе.