Por ello existen formula_16 tales que