La fórmula es entonces