The set of all mu*-measurable sets forms a ring