Change the induction principle of V

This is the fix proposed in issue #699, @spitters and I checked that it is sufficient to prove the rest of the section.