∀ {V : Type u_1} [inst : Fintype V] [inst_1 : DecidableEq V] (G : SimpleGraph V) [inst_2 : DecidableRel G.Adj] (x : V),
  (SimpleGraph.induce {x}ᶜ G).edgeFinset.card = (G.deleteIncidenceSet x).edgeFinset.card