autorefnames for theorems