Perché riscoprire quanto già fatto da altri?
il pacchetto amsmath (eventualmente anche amsthm, se lo si volesse usare per personalizzare ulteriormente i teoremi) fornisce il comando \tag{…} e il comando \notag per togliere l’etichetta dai teoremi o dalle singole equazioni normalmente numerate) fa esattamente quello che si desidera, cioè individuazione di un teorema con un nome e non con un numero. Basta leggere la documentazione di amsmath (terminale: comando texdoc amsmath: premere il tasto Invio: leggere) per vedere come lo si usa. Tuttavia merita sottolineare che a suo tempo l’ho sperimentato e ho notato che l’equazione successiva non è numerata col numero successivo all’ultima equazione numerata ma con un numero che tiene conto anche dell’equazione etichettata con il nome; questo significa che nonostante l’uso del tag con una stringa specifica per sostituire il numero, il contatore delle equazioni viene incrementato lo stesso, ed è solo il numero che viene sostituito con la stringa specificata. Ci sono molti motivi per questo comportamenti, uno dei quali è che deve continuare a funzionare anche il comando \pageref il quale è collegato ad un numero e non ad una stringa.
Complicato? non direi, anzi, molto più semplice che non cercare di definire un ambiente “theorem” apposta per i teoremi nominati invece che per i teoremi numerati.
D’altra parte usando il pacchetto amsthm il comando \newtheorem viene ridefinito con la variante asteriscata che consente di attribuire un nome al teorema/lemma/congettura/ eccetera senza numerarlo ma attribuendogli il nome prescelto; vedi la pagina 3 della documentazione di questo pacchetto (sempre da terminale: texdoc amsthm).