Fredholm Alternative for Compact Perturbations of Coercive Operators