it's right there in the proof; it's just a convenient way of working out the Lipschitz constant for a linear function (i.e. matrix * vector) and the Lipschitz c

it's right there in the proof; it's just a convenient way of working out the Lipschitz constant for a linear function (i.e. matrix * vector) and the Lipschitz constant bounds the gradient.