Text this: Existencia de coálgebras finales para funtores polinomiales