Eisenstein Congruence Implies Residual Reducibility