I want to put a formula number inside an \align enviroment. For eaxmple
\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}
But this doesn't work. I use writeLaTeX. Thank you for your help.

\documentclassand the appropriate packages so that those trying to help don't have to recreate it. – Peter Grill Apr 10 '13 at 22:29\[instead of$$. See Why is \[ … \] preferable to $$?. – Peter Grill Apr 10 '13 at 22:30$$in LaTeX. Use theequationenvironment for getting a number for the equation. – egreg Apr 10 '13 at 22:31\eqref{}. – Sigur Apr 10 '13 at 22:32\end{document}as well and please fix! LaTeX Error: Environment proposition undefinedso that people can run the example and see what you see. – David Carlisle Apr 10 '13 at 22:51