TL;DR: Lots of math is used to show that a novel mechanical card shuffler using psuedorandom numbers needs to be run twice in a row to be effective at preventing players from guessing the resulting cards.