Internally vertex-disjoint paths (source code)

= Internally vertex-disjoint paths

Paths with common endpoints are internally vertex-disjoint when they share no other vertex.