Repeating properties for proof

[the_riviera_kid]

I have plenty of places in my thesis where the proof of a property is the age old "See Appendix C". In most cases, I'd like to repeat the original property within Appendix C. Some times there's no need to reproduce the original property in the appendix. When there is however, I'd like to be able to do is repeat it with the original property number.

That is, the final text should be:

Section 4.3
Property 4.7
All green frogs have 6 legs.
Proof
See Appendix C.
...
Appendix C
Property 4.7
All green frogs have 6 legs.
Proof
Some green things have 6 legs. All green frogs are green, therefore all green frogs have 6 legs.

I strongly suspect there is a better way to achieve this, but This Way Works.

Where the property is first defined:

\newcounter{green_frog_property}
\setcounter{green_frog_property}{\value{property}}
\newcounter{green_frog_chapter}
\setcounter{green_frog_creation_chapter}{\value{chapter}}
\begin{property}
...

Then in the appendix

\newcounter{property_backup}
\newcounter{chapter_backup}
% save the current chapter and property number
\setcounter{property_backup}{\value{property}}
\setcounter{chapter_backup}{\value{chapter}}
% restore our green_frog numbers
\setcounter{property}{\value{green_frog_property}}
\setcounter{chapter}{\value{green_frog_chapter}}
% Make the chapter print as a number just for this property
\renewcommand{\thechapter}{\arabic{chapter}}
\begin{property}
...
\end{property}
% go back to the old state
\setcounter{property}{\value{property_backup}}
\setcounter{chapter}{\value{chapter_backup}}
\renewcommand{\thechapter}{\Alph{chapter}}