ａ∈Ｒ−｛０｝のときａＲ［ｘ］＋ｘＲ［ｘ］＝ｆ（ｘ）Ｒ［ｘ］となるｆ（ｘ）がある。
ａ∈ａＲ［ｘ］＋ｘＲ［ｘ］＝ｆ（ｘ）Ｒ［ｘ］からｆ（ｘ）＝ｂ∈Ｒとなるｂがある。
ｂ∈ｆ（ｘ）Ｒ［ｘ］＝ａＲ［ｘ］＋ｘＲ［ｘ］からｂ＝ａｃ，ｃ∈Ｒとなるｃがある。
ｘ∈ａＲ［ｘ］＋ｘＲ［ｘ］＝ｆ（ｘ）Ｒ［ｘ］からｘ＝ｂ（ｄｘ），ｄ∈Ｒとなるｄがある。
１＝ｂｄ＝ａｃｄなのでｃｄはａの逆元。