Template:ExtractTheorem

Usage
gives:

A part of this page has to be extracted as a theorem