… module and any divisible torsion-free module is strongly flat. Since Q is a flat module (…
If we remove the assumption of flatness from conditions (i)-(v), then the result still holds true, …

… If we remove the assumption of flatness from conditions (i)-(v), … have to prove that f-projectivity
implies coherence for any module … and are torsion-free, so by a classic result of Cartan and …