De manera formal, normalizada y compacta el enunciado del teorema es: