For either phase, the entropy differential at fixed composition is
The pressure derivative uses the Maxwell relation from . Differentiating the equality of entropies along coexistence gives the general relation
For a differentiable coexistence curve with pressure varying, equality of Gibbs free energies also implies . Since , the two phases then share . Thus, with ,
This is the Ehrenfest entropy-continuity relation. Entropy equality alone would give without the shared-volume condition; a constant-pressure boundary or vanishing discontinuities needs separate limiting analysis.