Тогда должно быть наименьшее такое число (см. Хороший порядок): пусть оно будет н / н. Это число n не может быть равно 1 из-за принятого выше соглашения о пустом продукте.
Значит, это должно быть произведение чисел.