Very flatness conjecture

[posic]

Let R be a commutative Noetherian ring and S a finitely generated commutative R-algebra. Assume that S is a flat R-module. Then S is a very flat R-module.

It seems that we now know how to prove this more than three year old conjecture of mine, though the argument is rather involved.