Update Induction_J.v

ndb_true_elim2の問題を修正