An R4 non-renormalization theorem in super-gravity