por definicion tenemos formula_157 formula_158