Debe ser fácil ver como generalizar la prueba a todos los valores de formula_16, y también que la prueba aplica tanto al espacio como al tiempo.