preuve inductive