指数に関する定義式

a r n = a r n
PCサイトを参照のこと。