Hay varias demostraciones del teorema.