The part that makes the assertion false is "...all of which are currently occupied." Moving n to n+1 only works when that restriction is lifted.