Completely prove itno2_induct_sd_in_new!!!