Multiple Equilibrium States Imply a Gibbs Phase Transition