An affine function preserves mixtures, so
Therefore
The positive mixture weight preserves the strict sign; the common component cancels. This is the independence axiom for lottery preferences for the affine utility on probability measures.