Esta fórmula final se llama teorema cuando tiene un papel importante en la teoría siendo desarrollada, o lema cuando desempeña un papel accesorio en la demostración de un teorema.