P
Initializing...
Remark 14: rank-one dual lower bound as a necessary condition · Prove2Me