向 LyX 添加环境，将证明分为几个步骤

Question

我的问题基本上是以下问题的组合是否可以以一种很好的方式在证明/备注环境中使用枚举/逐项列举环境？和在 LyX 中创建新的段落样式。

当我在 LyX 中编写数学文档时，我经常想将证明分为几个步骤。到目前为止，我经常只是使用枚举环境来做到这一点。

这样做的好处是，LyX 会自动对步骤进行编号，这样我以后就可以使用常用的标签和参考来引用各个步骤。

其中一个缺点是我对之后的输出效果不太满意，即我的“步骤”有点向右偏移。

在上面链接的第一个问题中，用户 egreg 建议简单地使用

\newenvironment{steps}{\setcounter{step}{0}}{}
\newcounter{step}
\newcommand{\proofstep}{\par\refstepcounter{step}Step~\thestep.\space\ignorespa‌​ces}

作为 LaTeX 中的解决方案。

如果我能将其集成到 LyX 中，那就太好了，也就是说，我希望拥有环境

1. 脚步
2. 步

（或类似的东西），这会导致上述 LaTeX 环境/命令被 LyX 使用。我还希望能够使用标签和引用来引用各个步骤。

上面链接的第二个问题描述了如何向 LyX 添加新环境（引用环境）。

我尝试将其调整为枚举/逐项列举环境的情况，但这些环境的格式似乎更复杂。另外，我想我必须以某种方式告诉 LyX 使用\proofstep而不是\item，但我不确定如何做到这一点。

任何帮助将不胜感激。