space.template.Mathmeatical+Induction

Just a trial to see what is going on

This is how it works: