Лемма Накаямы для контрамодулей

Если D -- конильпотентная коалгебра без коединицы (т.е. такая, что для любого d из D найдется i, такое что i-кратное итерированное коумножение от d равно нулю) и P -- контрамодуль над D, такой что отображение контрадействия Hom(D,P) -> P сюръективно, то P=0.