Für a ∈ A {\displaystyle {}a\in A} , s ∈ S {\displaystyle {}s\in S} ist
Da s {\displaystyle {}s} eine Einheit in A S {\displaystyle {}A_{S}} ist, folgt