A Separator Theorem for Planar Graphs | Synapse