The theorem is only true if monkeys are random. But monkeys are not random, and therefore this cannot be proved true using monkeys.