estoy escribiendo la demostracion del teorema que aumente.