It's a math proof. Chill.

It kind of does come across as pedantic -- the real question is just that "Does pi contain all sequences"

But because of the way that it is phrased, in mathematics you do a lot of problems/phrasing proofs where you would be expected to follow along exactly in this pedantic manner

You might want to stay away from higher maths and all discussions around it, like this one.