Elementary arithemtic in formal series rings