JATS-0026-001
The formal statement content-type attribute value "@content-type" must be one of the following: algorithm, assertion, assumption, conclusion, corollary,
definition, example, exercise, hypothesis, lemma, notation, postulate, premise, problem,
proof, proposition, remark, result, solution, theorem.