Hi:

Let . I want to prove that

. To prove the opposite

inclusion, I develop . This gives, by using global induction, that for every

natural k. In like manner, .Now, it is easy to prove the inclusion, because . Question: is there

a more elegant or simpler proof? Any hint will be welcome. Thanks for reading.