rather than evaluating it when the `\newtheorem` command is encountered. It may include macros only defined later. Closes #11608.