Para ciertas constantes formula_31 y formula_32 del estado inicial.