Twierdzenie o klasyfikacji skończenie generowanych grup przemiennych