Stability for projective modules Grothendieck groups ($K_0$) mathematics