数式内に数式番号を挿入するにはどうすればいいですか?

Question

\align環境内に数式番号を配置したい。例えば

\documentclass[12pt]{article}
\usepackage[left=2cm,right=2cm,
top=2cm,bottom=2cm,bindingoffset=0cm]{geometry}
\usepackage{amssymb,amsmath}
\usepackage[utf8]{inputenc} 
\usepackage[matrix,arrow,curve]{xy}
\usepackage[russian]{babel} 
\usepackage[final]{graphicx} 
\usepackage{mathrsfs}

\newtheorem{proposition}{Предложение}



\begin{document}
\begin{proposition}\label{Prop1}
bla bla follows from bla
\end{proposition}

\begin{proposition}\label{Prop2}
bla bla bla follows from bla bla
\end{proposition}

$$
\begin{aligned}
bla &\implies bla bla &\ref{Prop1}\\
bla bla &\implies bla bla bla &\ref{Prop2}
\end{aligned}
$$
\end{document}

しかし、これは機能しません。writeLaTeX を使用します。ご協力ありがとうございます。

Answer 1

\refは数式構造ではなくテキストなので、まずローカルでテキスト モードにする必要があります。

\documentclass[12pt]{article}
\usepackage{amssymb,amsmath}
\usepackage[utf8]{inputenc} 

\newtheorem{proposition}{proposition}

\begin{document}

\begin{proposition}\label{Prop1}
bla bla follows from bla
\end{proposition}

\begin{proposition}\label{Prop2}
bla bla bla follows from bla bla
\end{proposition}

$$
\begin{aligned}
bla &\implies bla bla &\text{\ref{Prop1}}\\
bla bla &\implies bla bla bla &\text{\ref{Prop2}}
\end{aligned}
$$

\end{document}