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.
Il doit donc s'agir d'un produit de chiffres.