 We recall that for a (unital, associative) ring "R", we denote by "V(R)" the (conical, commutative) monoid of isomorphism classes of finitely generated projective right "R"-modules, see here for more details.Recall that if "R" is von Neumann regular, then "V(R)" is a refinement monoid.Denote by Idc "R" the (∨,0)-semilattice of finitely generated two-sided ideals of "R".