G .edgesBetween {v} c= G .edgesBetween {v} ;
hence for b₁ being inducedSubgraph of G,{v} holds b₁ is _trivial ; :: thesis: verum