A Proof of Convergence of the MAP Turbo-Detector to the AWGN Case