/usr/share/hevea/theorem.hva is in hevea 2.09-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2
\newcommand{\theorembodyfont}[1]{\def\th@font{#1}} \newcommand{\theoremstyle}[1]{}