Defs: vertex disjoint paths
Fixing menger's theorem
Ref to Fulkerson for max-flow min-cut
Updates in definitions
Some fixes to context and state of art