A separation theorem for Σ¹₁ sets