Lever Rule Derivation

Use a mass balance to derive the lever rule, which determines the amounts of liquid and vapor in equilibrium, given the overall mole fraction and the mole fractions in each phase for a binary mixture.