Es importante notar que la definición asume implícitamente que "n" y "k" son naturales, y que además "k" no excede a "n".