"Equivalence of separation and optimization"