수식 안에 수식 번호를 삽입하는 방법은 무엇입니까?

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}