Principle of Mathematical Induction for Naturally Ordered Semigroup/General Result