انجام این کار با Lollipop بسیار راحت است:
\DefineTextBlock:Theorem begingroup Style:bold
literal:Theorem Spaces:1 TheoremCounter Spaces:2 endgroup
Style:italic text
label:start literal:Theorem Spaces:1 TheoremCounter label:stop
Stop
\Start
\Theorem[thm:1]
An idempotent $n\times n$ matrix $A$ is invertible
if and only if it is the identity matrix.
\>
The proof of \ref[thm:1] will be provided later.
\Stop
نتیجه بصورت زیر خواهد بود: