付録の証明では定理を参照しているが定理を言い換えていない

付録の証明では定理を参照しているが定理を言い換えていない

MikTex/LaTex は初めてなので、ご容赦ください。

私は付録の証明に関連する質問をここで調べましたが、探しているものを正確に見つけることができませんでした。

定理、補題などの証明をすべて 1 つの付録にまとめたいと思います。定理を再度述べるのではなく、付録の各証明を、たとえば次のように始めるようにします。補題XXの証明

これを達成するための最も簡単な方法は何でしょうか?

関連情報