aggiunte

function, prove