renumbering dei teroremi