Rename internal theorem and lemma labels for clarity