By induction