first-order fix to the induction principle of V

the equalities have to be dependent to typecheck