Induction on Well-Ordered Set