Correttezza di Poly 1
private int[] termini; // la rappresentazione
private int deg; // la rappresentazione
// I(c) = c.termini != null e
// c.termini.length >= 1 e
// c.deg = c.termini.length-1 e
// c.deg > 0 ==> c.termini[deg] != 0
{termini = new int[1]; deg = 0; }
il primo costruttore soddisfa l’invariante perché restituisce un Array di un elemento e deg = 0