One of these numbers must be the smallest : let 's call it n. Of course , this number n can not be 1 .
Then there must be a smallest such number ( see well-order ) : let it be n. This number n can not be 1 , because of the empty-product convention above .