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