Если элементов вида
бесконечное число, покажем, что если
необратим, то и элементы вида
тоже будут необратимыми.
Пусть
,
- необратим, от противного пусть
- обратим, тогда найдется
т.ч.
отсюда
Получили, что
обратим. Противоречие.
Если элементов вида
конечное число, то какие-то из элементов могут совпасть, например
,
,
,
делитель нуля, рассмотрим множество
это множество состоит из необратимых элементов,причем их бесконечное число. Противоречие.
Таким образом, не может быть ситуации, когда существуют необратимые элементы, но их число конечно.