a r · a s = a r+s ⇒

a r a s = a r−s ⇒

( a r ) s = a rs ⇒

( ab ) r = a r b r ⇒

( a b ) r = a r b r ⇒

PCサイト参照のこと。