On proving existence of feasible points in equality constrained optimization problems