Principle of Mathematical Induction for Naturally Ordered Semigroup