Prueba formal del teorema se encuentra en los textos estándar.