Template:ExtractTheorem

To be used when a statement is made (e.g. in the also see section, in a remark) without a link to a theorem.

Usage
gives:

gives: