Induction on Well-Ordered Integral Domain