Journal of Statistical Physics, Vol. 28, No. 3, 1982. p. 473-478.
We describe rigorously a many-body model of interacting classical particles exhibiting the following behavior at zero temperature: as the pressure varies through a critical value, the system goes through a first-order phase transition between different crystal phases. Moreover, at the critical pressure the system is demonstrably a mixture of the two phases.