在一系列方程中使用引理的正确礼仪是什么？

Question

假设我们有类似这样的内容：

\begin{equation}
\begin{split}
a &< b \\
ab &< bc \\
abc &> bcd \\
abcd &> bcde
\end{split}
\end{equation}

为了得到第三行，abc &> bcd使用lemma了文档中先前提到的。在这里表示这种理由的正确方法是什么？有没有办法在第三行末尾插入/附加一个注释，上面写着（Lemma 9）或类似的东西（如果使用的引理在文档中前面编号为 9）？

Answer 1

这是一种方法

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}\label{lem:mylemma}
Some lemma
\end{lemma}
Some text here
\begin{equation}
\begin{split}
a &< b \\
ab &< bc \\
abc &> bcd \qquad\qquad \rlap{\text{from Lemma~\ref{lem:mylemma}}} \\
abcd &> bcde
\end{split}
\end{equation}
\end{document}

Answer 2

4使用alignat或flalign环境和命令，可能实现以下功能\llap：

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[showframe]{geometry}

\usepackage{mathtools}

\begin{document}

Text text text text text text text text text text text text text text text text text text text text text text text text text.
\begin{alignat}{2}
  a &< b \\
  ab & < bc & & \text{by transitivity} \\
  abc & > bcd & \hskip4em & \text{according to lemma 2} \\
  abcd &> bcde
\end{alignat}
\begin{alignat}{2}
  a &< b \\
  ab & < bc & & \llap{by transitivity} \\
  abc & > bcd & \hskip12em & \llap{according to lemma 2} \\
  abcd &> bcde
\end{alignat}

\begin{flalign}
  & & a &< b \\
  & & ab &< bc & & \text{by transitivity}\\
  & & abc &> bcd & & \text{according to lemma 2}\\
  & & abcd &> bcde
\end{flalign}

\begin{flalign}
  & & a &< b \\
  & & ab &< bc & & \llap{by transitivity } \\
  & & abc &> bcd & &\llap{according to lemma 2 }\\
  & & abcd &> bcde
\end{flalign}

\end{document}