I will sketch a proof of the theorem mentioned in the title as well as indicate the relationship between this theorem and the failure of the Connes Embedding Problem. Of course this work leans heavily on the recent work "MIP*=RE” by Ji, Natarajan, Vidick, Wright and Yuen. This is joint work with Isaac Goldbring.