Теорема

Множество обратимых элементов ассоциативного кольца с единицей образует группу.
K* - мн-во обратимых элементов