consider v1, v2 being Vertex of G such that
A1: ( v1 <> v2 & not v1 is cut-vertex & not v2 is cut-vertex ) by Lm21;
thus not for b₁ being Vertex of G holds b₁ is cut-vertex by A1; :: thesis: verum