Empece demostracion lema 2.5