Reduction of everywhere convergent power series with respect to Gröbner bases