Icon
 

The Extended Principle of Mathematical Induction