Indeed. And for the claim to be correct, even a much weaker condition than normality would suffice. E.g. a number like 0.123456789012345678901234567890[repeat] is definitely not normal, but contains all decimal subsequences.