定理样式在 Frontiers 期刊模板中不起作用

Question

我正在尝试这个模板： https://www.overleaf.com/latex/templates/template-for-frontiers-journal/myxxkvjwqhrv

应该添加哪个包，以便定理以粗体开头，并且 qed 符号会出现在证明的末尾？谢谢。