case initially proven and used as a base for mathematical induction