Oración 1: la unicidad se da hasta indistinguibilidad
Oración 2: si Z es otro proceso càdlàg que es una modificación de X, entonces Y y Z son indistinguibles
Conector: es decir
Relación: entailment
Género: theses