Properties of the exact universal functional in multicomponent density functional theory.