Correct links to propositions/theorems