Así, que podemos multiplicar libremente nuestro estado por formula_17: