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!

Идущий всегда уходит от других

http://antimeridiem.livejournal.com/718709.html