bass_conjecture_projective