O que é a constante de formação?