Är C fullkomligt tömd , så är B fylldtill