Bass conjecture

Scheme X is finite type on Z. 

Integer r is r≥0.

CH_r(X) is finitely generative Abel group.