Strong Duality Theorem for Linear Programming applied Weierstrass Theorem for Proper Lower Semicontinuous Coercive Functions applied Completeness of Bounded Quantified Boolean Satisfiability applied Danskin Envelope Theorem applied Characterization of ZPP as RP Intersect coRP applied Gramian Observability Criterion applied Self-Duality of the Positive Semidefinite Cone applied PBH Detectability Criterion applied