¿Cómo insertar el número de fórmula dentro de la fórmula?

Question

Quiero poner un número de fórmula dentro de un entorno \align. Por ejemplo

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

Pero esto no funciona. Yo uso writeLaTeX. Gracias por su ayuda.

Answer 1

\refes una construcción de texto, no matemática, por lo que primero debe ingresar localmente al 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}