Como inserir o número da fórmula dentro da fórmula?

Question

Quero colocar um número de fórmula dentro de um ambiente \align. Por exemplo

\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}

Mas isso não funciona. Eu uso o writeLaTeX. Obrigado pela ajuda.

Answer 1

\refé uma construção de texto e não matemática, então você precisa primeiro entrar localmente no modo de texto:

\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}