Matrix Completion has No Spurious Local Minimum
Gradient Descent Converges to Minimizers