結果 : induction variable elimination example