برای : inductive 2 نتیجه