Template:Natural number-parametrized group property

This group property is natural number-parametrized, in other words, for every natural number, we get a corresponding group property