It's a theorem. And yes, it requires the monkeys to be random. And yes, it was tested with monkeys and the results were mainly the letter 's' repeated.
Really all this proves is that if you had infinite Shakespeares and infinite time, one of them would write his complete works using only the letter 's'.