Я ещё раз спрошу, уверен ли ты, что dd^c-лемма следует из зануления d между Эппли и де Рамом. Точную последовательность, про которую ты говорил, у меня чего-то не получается построить (она длинная должна быть или там три-четыре члена?), а так напрямую это говорит о том, что d-точная d^c-замкнутая форма dd^c-точна, если то, от чего она d, было dd^c-замкнуто, что, возможно, слабее.