funzione di cui si assume vera almeno una garanzia, usata come base per costruirne un'altra funzione.
