Любой ограниченный снизу ацикличный комплекс конечно-порожденных проективных модулей

над коммутативным кольцом стягиваем. Это утверждается в аппендиксе к новому препринту https://arxiv.org/abs/2402.04605 Амнона Неемана с его коллегами.