Partial C^0 estimate: the proof (continued)