R is semihereditary ring if and only if the sum of two coflat submodules of every R module is coflat module;