tambjˈen ˈes posˈiβle ˌinkluˈiɾ ˈun tˌeoɾˈema ke ðemwˈestɾe ke el ˌalɣoɾˈitmo ˈes korˈekto, ˈun anˈalisis ðe kˌomplexiðˈað o ˈambos.
También es posible incluir un teorema que demuestre que el algoritmo es correcto, un análisis de complejidad o ambos.