También es posible incluir un teorema que demuestre que el algoritmo es correcto, un análisis de complejidad o ambos.