jɛst tɔ pʃɨpˈadɛk ʃtʃɛɡˈulnɨ tfʲɛrdʑˈɛɲʲa ɔ klˌasɨfikˈatsji skɔɲtʃˈɛɲʲɛ ɡˌɛnɛrɔvˈanɨɣ ɡrˈup pʃɛmjˈɛnnɨx f pʃɨpˈatku, ɡdˈɨ rˌɔzvaʒˈana ɡrˈupa mˈa bˌɛstɔrsˈɨjnɔ̃ rˈaŋɡɛ rˈuvnɔ̃ zˈɛru.
Jest to przypadek szczególny twierdzenia o klasyfikacji skończenie generowanych grup przemiennych w przypadku, gdy rozważana grupa ma beztorsyjną rangę równą zeru.