Replace each occurrence of b by c.
Throughout, C denotes a positive constant, not necessarily the same at each occurrence.