Множество К с операциями сложение и умножение является кольцом. Тогда верными являются утверждения:
В множестве К любой элемент имеет обратный
Уравнение вида аx=b разрешимо в K для любых a и b
Операция сложения ассоциативна
В множестве К любой элемент имеет противоположный