Dimostrariamo una proprietà di IntSet 4
per ogni IntSet la sua size è >= 0
public void remove (int x)
// EFFECTS: toglie x da this
se la proprietà vale prima della rimozione, vale anche dopo perché la rimozione può ridurre la cardinalità solo se l’elemento era contenuto al momento della chiamata