Restructure the vim script, refining some little things.
Make a step toward in the proof of the first set of
exercises with the help of Prof. Marco Maggesi, very thank you.
However the proof isn't finished and we've to complete it
very soon.