unmixed theorem