Induction: mult_comm