Si el test llega al paso "k-1" es porque formula_20.