Si se considera arbitrariamente al estado rojo como estado inicial, se cumple lo siguiente: