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