finite_monkey_theorem.png