Eso sucede porque los estados propios satisfacen: