(xy)-1 = (y-1 * x-1)
Коммутативное ассоциативное кольцо с единицей, в котором каждый ненулевой элемент обратим, называется полем.

Теорема

Любое поле является областью целостности