Differentiating the ridge regression objective gives
For every nonzero ,
so is positive definite and hence invertible. The strictly convex objective therefore has the unique closed-form ridge regression estimator