Update Induction_J.v

typo修正