Corollary 16.10. Assuming that:

• $G$ an infinite group

• $Th(G)$ is ${\aleph }_0$-categorical (in $L_{\text{groups}}$)