Open main menu

Groupprops β

Template:Proof by induction

This proof uses the principle of mathematical induction in a nontrivial way (i.e., it would be hard to write the proof clearly without explicitly using induction).