Although a pseudorandom number sequence in this sense often appears to lack any definite pattern, any pseudorandom number generator with a finite internal state will repeat after a very long sequence of numbers. This can be proved using the pigeonhole principle.