我觉得你不应该用计数器proof以及\theproof的值来控制长度。
另外我没看懂『前后无间距以使得悬挂缩进可以实现』,以及subsize是想实现什么...
如果你需要『悬挂缩进』,其实latex2e是有类似的quote环境的:

%article.cls
\newenvironment{verse}
{\let\\\@centercr
\list{}{\itemsep \z@
\itemindent -1.5em%
\listparindent\itemindent
\rightmargin \leftmargin
\advance\leftmargin 1.5em}%
\item\relax}
{\endlist}
\newenvironment{quotation}
{\list{}{\listparindent 1.5em%
\itemindent \listparindent
\rightmargin \leftmargin
\parsep \z@ \@plus\p@}%
\item\relax}
{\endlist}
\newenvironment{quote}
{\list{}{\rightmargin\leftmargin}%
\item\relax}
{\endlist}另外,代码要给完整...同时最好详细描述proof以及subsize想达到的预期效果示意图。

































问 为什么新定义的环境末尾自带空格?