La construcción requiere que cada paso computacional en M' corresponde a por lo menos 2 pasos en M.