A theorem is a type of shell that labels itself as a "theorem" using the attribute the LDE respects for theorem statements, so that validation will treat it as one.