Unmixed theorem