请教在证明过程中插入某个不关键的证明，怎么弄？

abababa

比如一个证明题，需要用到某个简短的证明（下面假设这个需要证明的简短的问题就是*），下面这样写：
begin proof
……
因为*（*这里可以引用引理，但是没几行字，不想单独列成引理，也可以写成脚注形式，但是脱离正文了，不太方便）
所以……
end proof
现在就是想把*号的地方用小字排在证明的正文当中。*号的证明对整个证明来说不是特别关键，但又不像垂径定理、勾股定理那样，没有特定的定理名称来指代，也不那么显然，还需要简单证明几句。

请教有没有什么专用的环境来做这个的？

abababa

回复 1# abababa

举个特定的例子：
$m$是$1,2,\cdots,n$的最小公倍数。

将$1,2,\cdots, n$因子分解，找出其中含有因子$2$最多的数$c$（$1,2,\cdots,n$中这样的数只有一个，否则设存在数$c_1=2^t\cdot k_1, c_2=2^t\cdot k_2, k_1<k_2$且$k_1,k_2$都是奇数，则$k_1,k_2$间必有一偶数$2k$，因此$1,2,\cdots,n$中存在数$c' = 2^t\cdot 2k=2^{t+1}k$，于是找到了一个含有因子$2$更多的数$c'$，与$c$的取法矛盾）则$\frac{m}{c}$为奇数。（否则，因为其余数$\frac{m}{i}, i \neq c$至少含有因子$2$，假设$\frac{m}{c}$是偶数，则它也含有因子$2$，于是所有$\frac{m}{i}$都含有因子$2$，与$m$是最小公倍数矛盾）。……

上面这段证明中的两个括号处，就是主楼说的，想用小字排在证明正文中的部分。

isee

我个人直接单独设个字号字体即OK了。

色k

如果是较长的，我会先单独拿出来写，如果是不太长的，直接像你那样用括号就行。
当然还有一个选择就是边注

abababa

回复 4# 色k

谢谢，我试试边注的办法，从来没用过，只用过脚注。