En particular, se cumple: