P
Initializing...
(9) and (10) imply (12) and stationarity of the cluster point · Prove2Me