P
Initializing...
III B: attained SDP optimum detects extendability, (11)–(12) · Prove2Me