Үүнийг мессежээр илгээх: The S-Procedure via dual cone calculus