We study the coexistence phase in the two-dimensional Ising model. Optimizing the cluster expansion technique, we are able to prove the phase separation phenomenon, with the Onsager value for the surface tension.