Talk:Theorem stencil