Ensuite, il doit y avoir un plus petit nombre -LRB- voir bien-order -RRB- : let it be n / O. This number n can not be 1, because of the empty-product convention above.
Un de ces chiffres doit être le plus petit : appelons-le n. Bien sûr, ce nombre n ne peut pas être 1.