It can be shown using the Gibbs–Duhem equation that if Raoult's law holds over the entire concentration range x ∈ ∈ [ 0 , 1 ] in a binary solution then, for the second component, the same must also hold.