remove redundand theoremsymbol