True. Slide beads upward separately in each of the refined residue classesmodulo ef. Grouping the refined runners first by residuemodulo f and then packing each component modulo e produces Ce(Qf(λ)). Packing modulo ef before forgetting the refinement produces Qf(Cef(λ)). These are the same runner configurations, so