A desigualdade de Golod-Safarevic para grupos pro-p e grupos abstratos