docs(Theorem): improve XML document to clarify.