coverto

e deriv.

--> coperto 1 e deriv.