"It is proven that all the sequences of digits are present somewhere in these digits"

This has never been proven for the digits of π. Of course, there are other digit-sequences for which it is trivially true. For example, just concatenating together every finite sequence of digits, in some suitable order.