Create LA_4842_InfiniteMonkeyTheorem