Gabbay's separation theorem

From dankwiki