Density-functional exchange identity from coordinate scaling.