A separator theorem for nonplanar graphs | Synapse