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