Dimostrariamo una proprietà di IntSet 3
per ogni IntSet la sua size è >= 0
public void insert (int x)
// EFFECTS: aggiunge x a this
se la proprietà vale prima dell’inserimento, vale anche dopo perché l’inserimento può solo incrementare la cardinalità