Template:Infobox theorem