Twierdzenie o klasyfikacji skończonych grup przemiennych