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.
Do you mean "h(f(a)) and h(g(b)) are dependently equal"?