Smoothness of coalgebras and higher degrees of Hoch

We prove that if C is a cocommutative k-coalgebra such that image for all group-like elements image, then smoothness of C is equivalent to the condition Hoch*(C)=0 for all *greater-or-equal, slantedN.