La unicidad de la secuencia que satisface dichas propiedades se puede demostrar usando inducción transfinita.