MeneMonday: Proving the Lucky Mene Box Theory