Är C fullkomligt tömd , så är B fylld tillståndrö