en realidad formula_2 puede probarse (al menos) para un particular