Pack of Cards is Randomized by 7 Riffle Shuffles

Theorem
A pack of cards is randomized by $7$ riffle shuffles.