Supersymmetry and the Parisi-Sourlas dimensional reduction: A rigorous proof