And now I think that I can prove the following

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.

Написать статью под названием

"All flat morphisms of finite presentation are very flat". В дискурсивном таком стиле, с многочисленными развернутыми объяснениями, чем хороши очень плоские модули для алгебраической геометрии. C контраприспособленными модулями, контрамодульными модулями и просто контрамодулями, а также контрамодулями, контраприспособленными как модули и контрамодулями, контраприспособленными как контрамодули. (Последние два понятия эквивалентны, но это еще доказать нужно.) Подать в Инвенционес. Через три года получить отказ с формулировкой "автор доказал свою собственную гипотезу, тоже мне чудо света". Внести Инвенционес в черный список бойкотируемых журналов и всюду этим хвастаться. Profit!