Теорема, процесс доказательства которой описан в постинге по ссылке -- это теорема B.8.1 препринта про слабо искривленные алгебры -- https://arxiv.org/abs/1202.2697 . Препринт этот до сих пор не опубликован (лежит без движения в редакции).
Тем временем, почти все, о чем я писал в 2015-17 годах (и первом квартале 2018), выросло -- по крайней мере, отчасти -- из этого доказательства. Включая и работы про MGM-двойственность, и теорию плоских контрамодулей, и приложения контрамодулей к коммутативной алгебре (т.е., доказательство очень плоской гипотезы, в частности).
Последние, в частности, родились в очень большой степени конкретно из раздела B.10 препринта по ссылке. Через посредство препринта 2016 года, опубликованного в Московском мат. журнале в 2017 году.
А из постинга по ссылке мы видим, что потребность в формулировке и доказательстве теоремы B.8.1 возникла в ходе написания препринта про контрагерентные копучки. Я уж и забыл об этом давно.