a^2=aiaj,ai>aj