A pesar de su simplicidad, el teorema requiere herramienta muy técnica para demostrarlo.