paper: add triconnectedness proof