 Eisenstein congruence from a denominator prime

If the first nonconstant coefficient of $E_k$ has reduced denominator divisible by a prime $p$, the integral echelon basis produces an integral cusp form whose Fourier coefficients are congruent modulo $p$ to ${\sigma }_{k-1}(n)$.