And now I think that I can prove the following

[posic]

Let R be a commutative ring and S be a finitely presented commutative R-algebra. For that matter, let F be a finitely presented S-module.

Assume that F is a flat R-module. Then F is a very flat R-module.