将引理纳入定理

Question

我想在定理的证明中包含一些引理，并明确表明这些引理是证明的一部分，而不是独立的（例如字母较小等）。有什么方法可以做到这一点吗？