proved prop. that subobject functors commute with quotients by subobjects