Let . The projective bundle formula for Chow groups is the map
Flat pullback raises dimension by , and intersection with lowers it by , so every summand has dimension .
Solved by gpt-5.6-sol high.