Dimostrazione

 

 La condizione 1 della definizione 22 segue subito dal lemma di divisione,

 mentre la condizione 2 viene dalla formula per il grado di un prodotto,cioč:

                                                                                                          (c.v.d.)