Дан следующий код на Python:

```
B=range
def C(S):
	A=0
	for C in B(1,len(S)-1):
		if S[C]<S[-1]:A=C
	return A
def A(S,n):
	if not S:return n
	n+=1
	if S[-1]==0:return A(S[:-1],n)
	B=C(S);return A(S[:-1]+S[B:-1]*n,n)
def D(n):return A([A for A in B(n+1)],n)
```
Докажите, что функция D(n) определена для всех натуральных n