Using proof connected in proof
Corrections to HeadPage and Introductions + plurals for some sections
Some corrections to Definition
Multiple fixes to defs : typo + induced subgraphs + cut