In the page 458 of his paper(A tameness criterion for Galois representations associated to modular forms), Gross wrote the following

"A detailed analysis of $U_p(Af)+V_p(<p>f)$ shows that it
vanishes at each supersingular point", 
(where $f$ is a mod p modular form of weight 1, $U_p$ is the Hecke operator on 
mod $p$ modular forms of weight p, $A$ is the Hasse invariant, $V_p$ is the $p$-power map, 
and $<p>$ is the diamond operator.)

Can someone explain how to do analysis of this section at supersingular points?