TheoremId theoremIdDef) throws DliException {
String aid = theorem.getAid();
if (aid == null) aid = abstractSignature.getArticleId();
ArticleId articleId = new ArticleId(aid);
Formula formula = Adapter.getFormula(abstractSignature, theorem.getFormula(), new VariableId());
ItemDefinition itemDefinition = new Theorem(formula);
ItemType itemType = null;
int nr = 0;
switch (theorem.getKind()){
case D :
itemType = ItemType.def;