Una demostración de este postulado se basa en que el algoritmo voraz para σ es correcto.