SDP-FinalSDP-Proofs