Two-loop superstrings VI Nonrenormalization theorems and the 4-point function