Eisenstein congruence from a denominator prime
= 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)$.