P
Initializing...
$|S_{\eta_*}|\le$ star mass (triangle inequality) · Prove2Me