Si consideramos formula_6 del estado inicial y final tenemos: