That is exactly my point. Now you have to disambiguate a poorly-chosen symbol. The theorem doesn't need the stipulation that c != 0 since you have already excl

That is exactly my point. Now you have to disambiguate a poorly-chosen symbol. The theorem doesn't need the stipulation that c != 0 since you have already excluded c from the domain.