Let . This set is stationary: in any club set, choose a strictly increasing countable sequence and take its supremum, which lies in the club set and has cofinality . For each choose an increasing cofinal sequence .
Fix . For every above , some exceeds . Partition this stationary tail by the least such . A countable union of nonstationary sets is nonstationary, because fewer than club sets have club filter completeness, so some cell is stationary. On it the regressive function has, by Fodor lemma, a stationary fiber at a value .
Let . The preceding argument says is unbounded in . Since , at least one is unbounded and therefore has size . Its fibers are pairwise disjoint stationary sets. Enumerate of them as , , and define for , while
Adding a remainder preserves stationarity and introduces no overlap. Consequently
This proves the stationary partition by cofinal-sequence fibers directly for every regular uncountable .