数学項目で用います。引数に補題の番号を入れ、補題部分を{{補題|x.y.z}}と{{補題終わり}}で括ります。
{{補題|1.1.2}} ○○のとき、△△は××である。 {{補題終わり}}
表示:
○○のとき、△△は××である。