La demostración del teorema se hará a través de varios lemas, cuyas demostraciones