move a remark inside a proof into a remark environment and add a reference:

  "The conditions on a category mentioned in the theorem are known as Lawvere's
  axioms for the \emph{Elementary Theory of the Category of Sets}~\cite{lawvere:etcs-long}."