>>/20007/
> 'induction' class
Naurrrrrr this nekka hates mathematical induction, he will never prove anything ever by confirming that the statement holds for the base of induction, and then the assumption for natural n implies that the thesis is valid for n+1.