Long-time behavior of 3 dimensional Ricci flow -- D: Proof of the main results