B(p1) >= 2 -----> p1 not endpoint / p1 not isolated point

     
       B(p1)=1                    B(p1)=0

Condition2: A(p1)=1

Makes sure the skeleton is not fragmented