Por añadir pasos que demoran en M', podemos asegurar que tome exactamente formula_15 pasos.