Как доказать, что фильтрации Цассенхауза свободной симплициальной про-p-группы и степени аугментационного идеала её пополненного группового кольца приводят к спектральным последовательностям проконечных векторных пространств?