Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula