Isso está documentado na página man. De man groupdel
:
Você não pode remover o grupo principal de nenhum usuário existente. Você deve remova o usuário antes de remover o grupo.
Portanto, você precisa tornar o grupo principal do usuário administrator
algo diferente de pro1
e, em seguida, poderá remover o grupo pro1
.
Exemplo:
$ sudo groupdel foobar
groupdel: cannot remove the primary group of user 'foobar'
$ sudo usermod -g foo foobar ## Change the primary group of user "foobar" from "foobar" to "foo"
$ sudo groupdel foobar ## Done