Ok, in effetti anche wikipedia dà questo nome (che poi ha abbastanza senso no?
)
e vedo anche su wikipedia la dimostrazione dal Lemma di Gauss.
Però io ne ho trovata un'altra indipendente da suddetto Lemma, e più immediata.
qui:
http://www.dmi.unict.it/~lizzio/corso/m ... linomi.pdf
pagina 9, primo teorema. alla fine c'è un piccolo errore di battitura, dovrebbe essere $s|a_n$.