On the dimension of the solution space of linear difference equations over the ring of infinite sequences