我使用 定义了一个通用环境setupenumerations。然后我定义了一个继承自它的example和proof环境。证明不应该是编号的，并且number=no选项中的设置会在标题后带来一个尴尬的空格，如下所示：
\setupenumerations[
before={\blank[medium]},
after={\blank[medium]},
alternative=serried,
right=.,
distance=0.5em,
width=fit,
headstyle=bold,
titlestyle=bold,
]
\defineenumeration[example][
text=Example,
]
\defineenumeration[proof][
text=Proof,
number=no,
right=.,
distance=1em,
headstyle=italic,
title=no,
closesymbol={\mathematics{\square}},
style=normal,
]
\starttext
\startexample
Something here...
\stopexample
\startproof
For the first property, we know that at the very least $\emptyset$ and $R$ itself are subsets of $R$ and so it is satisfied. Since $R$ is a ring, $rs \in R$ for $r,s \in R$. Consequently, there exists $S \subseteq R$ which contains $rs$. We know that $\langle R,+\rangle$ is an abelian group and so $s + r \in R$. Also, $s - r = s + (-r)$ where $-r\in R$ is the unique inverse of $r$ under the binary operation $+$. Again, there exists $S \subseteq R$ such that $s-r \in S$.
\stopproof
\stoptext
我如何摆脱证明环境中标记的额外空格，使其变得更像示例，即proof和For the first...空格之间的空格？