在定理数中添加括号

Question

我正在尝试在定义数字中添加括号。我发现了这样的关联，但它对我不起作用：它给了我错误“缺失数字被视为零”

\documentclass[a4paper,12pt]{article}

\usepackage{stix}
\usepackage[T1]{fontenc}
\usepackage[polish]{babel}
\usepackage[utf8]{inputenc}
\usepackage{color}
\usepackage{amsthm}
\setcounter{section}{-1}

\newtheorem{df}{Def.}[subsection]
\newtheorem{nt}[df]{Note}
\newtheorem{st}[df]{Statement}

\makeatletter 
    \newtheoremstyle{eqStyle}%
        {\item[\hskip\labelsep \theorem@headerfont (##2)\ ##1\theorem@separator]}%
        {\item[\hskip\labelsep \theorem@headerfont (##2)\ ##1\ (##3)\theorem@separator]}
\makeatother

\theoremstyle{eqStyle}
\newtheorem{eqStyle}[df]{}

%next code.

我不知道这是什么意思。我发现\newtheoremstyle应该有更多参数，但在我放的链接示例中，它的参数较少，而且正如成员所说，它有效。请帮忙。

谢谢迈克。

编辑：

最小工作示例：

\documentclass[a4paper,12pt]{article}

\usepackage{stix}
\usepackage[T1]{fontenc}
\usepackage[polish]{babel}
\usepackage[utf8]{inputenc}
\usepackage{color}
\usepackage{amsthm}
\setcounter{section}{-1}

\def\n{\newline}
\def\q#1{"#1"}
\def\com#1{{\color[rgb]{0.25, 0.25, 0.25}//#1//}}
\def\aks#1{{\large Aksjomat \underline{#1}}}
\def\bel#1#2{#1 : #2}
\def\kon#1#2{#1 \wedge #2}
\def\imp#1#2{#1 \Rightarrow #2}
\def\rown#1#2{#1 \Leftrightarrow #2}
\def\curly#1{\left\{#1\right\}}
\def\rou#1{\left(#1\right)}
\def\FA#1{\bigwedge\limits_{#1}}
\def\Class{\underline{Class}}
\def\Univ{\underline{Univ}}
\def\Null{\underline{null}}
\def\Char{\underline{Char}}
\def\Var{\underline{Var}}



\newtheorem{df}{Definicja}[subsection]
\newtheorem{nt}[df]{Uwaga}
\newtheorem{st}[df]{Twierdzenie}

%\makeatletter 
%   \newtheoremstyle{eqStyle}%
%       {\item[\hskip\labelsep \theorem@headerfont (##2)\ ##1\theorem@separator]}%
%       {\item[\hskip\labelsep \theorem@headerfont (##2)\ ##1\ (##3)\theorem@separator]}
%\makeatother

%\theoremstyle{eqStyle}
\newtheorem{eqStyle}[df]{}

\begin{document}
\section{Intro}
\subsection{Sub 1}
\begin{eqStyle}
\label{013}
\n\n $123 = 100 + 23$
\end{eqStyle}
\end{document}

这有效。当我取消注释中间几行时，出现错误

Missing number, treated as zero.
<to be read again> 
                   \par 
l.41 \newtheorem{eqStyle}
                         [df]{}